Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add Report Editor to the global preferences #47

Open
pkrall520 opened this issue Apr 18, 2018 · 0 comments
Open

Add Report Editor to the global preferences #47

pkrall520 opened this issue Apr 18, 2018 · 0 comments

Comments

@pkrall520
Copy link
Contributor

The thought here is to make the PMD preferences look and work more like the checkstyle preferences...
I am thinking we would do the following for global options :

  • Added a table so the user can configure "profiles" for there PMD settings.

    • New makes a new one
    • Properties shows you name, description, ect.
    • configure allows you to edit the pmd rulesets for the selected one
    • copy makes a new one but the with same selected settings as the selected item
    • remove removes it
    • Set as default would set the set PMD settings to the ones selected
    • Export exports to a ruleset xml file if you want to share
  • Moved somethings around so we don't have to scroll on the pref page

    • Edit symbols/ icons table is now a new page under the PMD pref
    • Logging should be a local project setting maybe? Maybe toggle between global and local? Maybe just make it a new page under PMD pref for now
    • about opens an about plugin dialog

image

Local project settings would then become something like this...
Where the settings dropdown is just a list of the items from the global table
image 1

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

2 participants