Bug 52071 Cannot change default formatting preferences -- OK button disabled
I like the new options for the code formatter, but when I change them I am unable to click 'OK' as the button is greyed out when the preference window is opened and clicking checkboxes does not seem to un-enable it. I cannot change either the 'default' or 'Java' profiles (though I can create a new one and change that). I do not know if this is a bug or feature; but if it is a feature, I think a warning message should be displayed saying 'The default is not changeable' and it should not be possible to select any of the checkboxes, rather than not being able to commit the changes once they are made.
org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/preferences/formatter/ModifyDialog.java
private static final String DS_KEY_PREFERRED_Y= JavaUI.ID_PLUGIN + "formatter_page.modify_dialog.preferred_y"; 
    
    
    /**
     * The key to store the number (beginning at 0) of the tab page which had the 
     * focus last time.
     */
    private static final String DS_KEY_LAST_FOCUS= JavaUI.ID_PLUGIN + "formatter_page.modify_dialog.last_focus";  
	
	private final String fTitle;
	
	private final boolean fNewProfile;
	private final Profile fProfile;
	private final Map fWorkingValues;
	
	private final IStatus fStandardStatus;
	private final IStatus fErrorStatus;
	
	protected final List fTabPages;
	
	final IDialogSettings fDialogSettings;
	private TabFolder fTabFolder;
		
	protected ModifyDialog(Shell parentShell, Profile profile, boolean newProfile) {
		super(parentShell);
		fNewProfile= newProfile;
		setShellStyle(getShellStyle() | SWT.RESIZE | SWT.MAX );
		
		fErrorStatus= new Status(IStatus.ERROR, JavaPlugin.getPluginId(), IStatus.ERROR, "", null);