Project: JDT
Bug 366013 [preferences] Polish preference UI for null annotations
Reported: 2011-12-08 07:03:50 | Status: verified fixed

I20111207-2118. The preference UI for nulll annotations looks clumsy and the important parts are coming after the less important settings. We should move the rarely used configuration of the annotations into a separate dialog which has a 'Restore Defaults' button. On the main page we add a 'Configure Annotations...' button (most likely at the end of the section).

Files changed in fix:
org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/preferences/OptionsConfigurationBlock.java org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/preferences/PreferencesMessages.java org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/preferences/ProblemSeveritiesConfigurationBlock.java