diff options
Diffstat (limited to 'bundles/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/ui/internal/dialogs/EditorsPreferencePage.java')
| -rw-r--r-- | bundles/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/ui/internal/dialogs/EditorsPreferencePage.java | 445 |
1 files changed, 210 insertions, 235 deletions
diff --git a/bundles/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/ui/internal/dialogs/EditorsPreferencePage.java b/bundles/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/ui/internal/dialogs/EditorsPreferencePage.java index 7e630899bb8..753592c272c 100644 --- a/bundles/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/ui/internal/dialogs/EditorsPreferencePage.java +++ b/bundles/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/ui/internal/dialogs/EditorsPreferencePage.java @@ -45,29 +45,27 @@ import org.eclipse.ui.internal.util.PrefUtil; /** * The Editors preference page of the workbench. */ -public class EditorsPreferencePage extends PreferencePage implements - IWorkbenchPreferencePage { +public class EditorsPreferencePage extends PreferencePage implements IWorkbenchPreferencePage { private static final int REUSE_INDENT = 20; - protected Composite editorReuseGroup; + protected Composite editorReuseGroup; - private Button reuseEditors; + private Button reuseEditors; - protected Button showMultipleEditorTabs; + protected Button showMultipleEditorTabs; - protected Button useIPersistableEditor; + protected Button useIPersistableEditor; - private Composite editorReuseIndentGroup; + private Composite editorReuseIndentGroup; - private Composite editorReuseThresholdGroup; + private Composite editorReuseThresholdGroup; - private IntegerFieldEditor reuseEditorsThreshold; + private IntegerFieldEditor reuseEditorsThreshold; + private IntegerFieldEditor recentFilesEditor; - private IntegerFieldEditor recentFilesEditor; - - private IPropertyChangeListener validityChangeListener = event -> { - if (event.getProperty().equals(FieldEditor.IS_VALID)) { + private IPropertyChangeListener validityChangeListener = event -> { + if (event.getProperty().equals(FieldEditor.IS_VALID)) { updateValidState(); } }; @@ -78,252 +76,229 @@ public class EditorsPreferencePage extends PreferencePage implements @Override protected Control createContents(Composite parent) { - Composite composite = createComposite(parent); + Composite composite = createComposite(parent); - createEditorHistoryGroup(composite); + createEditorHistoryGroup(composite); - createSpace(composite); - createShowMultipleEditorTabsPref(composite); - createAllowInplaceEditorPref(composite); - createUseIPersistablePref(composite); - createPromptWhenStillOpenPref(composite); + createSpace(composite); + createShowMultipleEditorTabsPref(composite); + createAllowInplaceEditorPref(composite); + createUseIPersistablePref(composite); + createPromptWhenStillOpenPref(composite); createEditorReuseGroup(composite); // ((TabBehaviour)Tweaklets.get(TabBehaviour.KEY)).setPreferenceVisibility(editorReuseGroup, // showMultipleEditorTabs); - updateValidState(); + updateValidState(); - applyDialogFont(composite); + applyDialogFont(composite); - setHelpContext(parent); + setHelpContext(parent); - return composite; - } + return composite; + } protected void setHelpContext(Composite parent) { // @issue the IDE subclasses this, but should provide its own help - PlatformUI.getWorkbench().getHelpSystem().setHelp(parent, + PlatformUI.getWorkbench().getHelpSystem().setHelp(parent, IWorkbenchHelpContextIds.WORKBENCH_EDITOR_PREFERENCE_PAGE); } - protected void createSpace(Composite parent) { - WorkbenchPreferencePage.createSpace(parent); - } - - protected void createShowMultipleEditorTabsPref(Composite composite) { - showMultipleEditorTabs = new Button(composite, SWT.CHECK); - showMultipleEditorTabs.setText(WorkbenchMessages.WorkbenchPreference_showMultipleEditorTabsButton); - showMultipleEditorTabs.setSelection(getAPIPreferenceStore().getBoolean( - IWorkbenchPreferenceConstants.SHOW_MULTIPLE_EDITOR_TABS)); - setButtonLayoutData(showMultipleEditorTabs); - } - - protected void createAllowInplaceEditorPref(Composite composite) { - allowInplaceEditor = new Button(composite, SWT.CHECK); - allowInplaceEditor.setText(WorkbenchMessages.WorkbenchPreference_allowInplaceEditingButton); - allowInplaceEditor.setSelection(!getAPIPreferenceStore().getBoolean( - IWorkbenchPreferenceConstants.DISABLE_OPEN_EDITOR_IN_PLACE)); - setButtonLayoutData(allowInplaceEditor); - } - - protected void createUseIPersistablePref(Composite composite) { - useIPersistableEditor = new Button(composite, SWT.CHECK); - useIPersistableEditor.setText(WorkbenchMessages.WorkbenchPreference_useIPersistableEditorButton); - useIPersistableEditor.setSelection(getPreferenceStore().getBoolean( - IPreferenceConstants.USE_IPERSISTABLE_EDITORS)); - setButtonLayoutData(useIPersistableEditor); - } - - protected void createPromptWhenStillOpenPref(Composite composite) { - promptWhenStillOpenEditor = new Button(composite, SWT.CHECK); - promptWhenStillOpenEditor.setText(WorkbenchMessages.WorkbenchPreference_promptWhenStillOpenButton); - promptWhenStillOpenEditor.setSelection(getAPIPreferenceStore().getBoolean( - IWorkbenchPreferenceConstants.PROMPT_WHEN_SAVEABLE_STILL_OPEN)); - setButtonLayoutData(promptWhenStillOpenEditor); - } - - protected Composite createComposite(Composite parent) { - Composite composite = new Composite(parent, SWT.NULL); - GridLayout layout = new GridLayout(); - layout.marginWidth = 0; - layout.marginHeight = 0; - composite.setLayout(layout); - composite.setLayoutData(new GridData(SWT.FILL, SWT.FILL, false, false)); - return composite; - } - - @Override + protected void createSpace(Composite parent) { + WorkbenchPreferencePage.createSpace(parent); + } + + protected void createShowMultipleEditorTabsPref(Composite composite) { + showMultipleEditorTabs = new Button(composite, SWT.CHECK); + showMultipleEditorTabs.setText(WorkbenchMessages.WorkbenchPreference_showMultipleEditorTabsButton); + showMultipleEditorTabs.setSelection( + getAPIPreferenceStore().getBoolean(IWorkbenchPreferenceConstants.SHOW_MULTIPLE_EDITOR_TABS)); + setButtonLayoutData(showMultipleEditorTabs); + } + + protected void createAllowInplaceEditorPref(Composite composite) { + allowInplaceEditor = new Button(composite, SWT.CHECK); + allowInplaceEditor.setText(WorkbenchMessages.WorkbenchPreference_allowInplaceEditingButton); + allowInplaceEditor.setSelection( + !getAPIPreferenceStore().getBoolean(IWorkbenchPreferenceConstants.DISABLE_OPEN_EDITOR_IN_PLACE)); + setButtonLayoutData(allowInplaceEditor); + } + + protected void createUseIPersistablePref(Composite composite) { + useIPersistableEditor = new Button(composite, SWT.CHECK); + useIPersistableEditor.setText(WorkbenchMessages.WorkbenchPreference_useIPersistableEditorButton); + useIPersistableEditor + .setSelection(getPreferenceStore().getBoolean(IPreferenceConstants.USE_IPERSISTABLE_EDITORS)); + setButtonLayoutData(useIPersistableEditor); + } + + protected void createPromptWhenStillOpenPref(Composite composite) { + promptWhenStillOpenEditor = new Button(composite, SWT.CHECK); + promptWhenStillOpenEditor.setText(WorkbenchMessages.WorkbenchPreference_promptWhenStillOpenButton); + promptWhenStillOpenEditor.setSelection( + getAPIPreferenceStore().getBoolean(IWorkbenchPreferenceConstants.PROMPT_WHEN_SAVEABLE_STILL_OPEN)); + setButtonLayoutData(promptWhenStillOpenEditor); + } + + protected Composite createComposite(Composite parent) { + Composite composite = new Composite(parent, SWT.NULL); + GridLayout layout = new GridLayout(); + layout.marginWidth = 0; + layout.marginHeight = 0; + composite.setLayout(layout); + composite.setLayoutData(new GridData(SWT.FILL, SWT.FILL, false, false)); + return composite; + } + + @Override public void init(IWorkbench workbench) { - // do nothing - } + // do nothing + } - @Override + @Override protected void performDefaults() { - IPreferenceStore store = getPreferenceStore(); - showMultipleEditorTabs - .setSelection(getAPIPreferenceStore() - .getDefaultBoolean(IWorkbenchPreferenceConstants.SHOW_MULTIPLE_EDITOR_TABS)); - allowInplaceEditor - .setSelection(!getAPIPreferenceStore() - .getDefaultBoolean(IWorkbenchPreferenceConstants.DISABLE_OPEN_EDITOR_IN_PLACE)); - useIPersistableEditor - .setSelection(store - .getDefaultBoolean(IPreferenceConstants.USE_IPERSISTABLE_EDITORS)); - promptWhenStillOpenEditor - .setSelection(getAPIPreferenceStore() - .getDefaultBoolean(IWorkbenchPreferenceConstants.PROMPT_WHEN_SAVEABLE_STILL_OPEN)); - reuseEditors.setSelection(store - .getDefaultBoolean(IPreferenceConstants.REUSE_EDITORS_BOOLEAN)); - reuseEditorsThreshold.loadDefault(); - reuseEditorsThreshold.getLabelControl(editorReuseThresholdGroup) - .setEnabled(reuseEditors.getSelection()); - reuseEditorsThreshold.getTextControl(editorReuseThresholdGroup) - .setEnabled(reuseEditors.getSelection()); - recentFilesEditor.loadDefault(); - } - - @Override + IPreferenceStore store = getPreferenceStore(); + showMultipleEditorTabs.setSelection( + getAPIPreferenceStore().getDefaultBoolean(IWorkbenchPreferenceConstants.SHOW_MULTIPLE_EDITOR_TABS)); + allowInplaceEditor.setSelection( + !getAPIPreferenceStore().getDefaultBoolean(IWorkbenchPreferenceConstants.DISABLE_OPEN_EDITOR_IN_PLACE)); + useIPersistableEditor.setSelection(store.getDefaultBoolean(IPreferenceConstants.USE_IPERSISTABLE_EDITORS)); + promptWhenStillOpenEditor.setSelection(getAPIPreferenceStore() + .getDefaultBoolean(IWorkbenchPreferenceConstants.PROMPT_WHEN_SAVEABLE_STILL_OPEN)); + reuseEditors.setSelection(store.getDefaultBoolean(IPreferenceConstants.REUSE_EDITORS_BOOLEAN)); + reuseEditorsThreshold.loadDefault(); + reuseEditorsThreshold.getLabelControl(editorReuseThresholdGroup).setEnabled(reuseEditors.getSelection()); + reuseEditorsThreshold.getTextControl(editorReuseThresholdGroup).setEnabled(reuseEditors.getSelection()); + recentFilesEditor.loadDefault(); + } + + @Override public boolean performOk() { - IPreferenceStore store = getPreferenceStore(); - getAPIPreferenceStore().setValue(IWorkbenchPreferenceConstants.SHOW_MULTIPLE_EDITOR_TABS, - showMultipleEditorTabs.getSelection()); - getAPIPreferenceStore().setValue(IWorkbenchPreferenceConstants.DISABLE_OPEN_EDITOR_IN_PLACE, - !allowInplaceEditor.getSelection()); - store.setValue(IPreferenceConstants.USE_IPERSISTABLE_EDITORS, - useIPersistableEditor.getSelection()); - getAPIPreferenceStore().setValue(IWorkbenchPreferenceConstants.PROMPT_WHEN_SAVEABLE_STILL_OPEN, - promptWhenStillOpenEditor.getSelection()); - - // store the reuse editors setting - store.setValue(IPreferenceConstants.REUSE_EDITORS_BOOLEAN, reuseEditors - .getSelection()); - reuseEditorsThreshold.store(); - - // store the recent files setting - recentFilesEditor.store(); - - PrefUtil.savePrefs(); - return super.performOk(); - } - - /** - * Returns preference store that belongs to the our plugin. - * - * @return the preference store for this plugin - */ - @Override + IPreferenceStore store = getPreferenceStore(); + getAPIPreferenceStore().setValue(IWorkbenchPreferenceConstants.SHOW_MULTIPLE_EDITOR_TABS, + showMultipleEditorTabs.getSelection()); + getAPIPreferenceStore().setValue(IWorkbenchPreferenceConstants.DISABLE_OPEN_EDITOR_IN_PLACE, + !allowInplaceEditor.getSelection()); + store.setValue(IPreferenceConstants.USE_IPERSISTABLE_EDITORS, useIPersistableEditor.getSelection()); + getAPIPreferenceStore().setValue(IWorkbenchPreferenceConstants.PROMPT_WHEN_SAVEABLE_STILL_OPEN, + promptWhenStillOpenEditor.getSelection()); + + // store the reuse editors setting + store.setValue(IPreferenceConstants.REUSE_EDITORS_BOOLEAN, reuseEditors.getSelection()); + reuseEditorsThreshold.store(); + + // store the recent files setting + recentFilesEditor.store(); + + PrefUtil.savePrefs(); + return super.performOk(); + } + + /** + * Returns preference store that belongs to the our plugin. + * + * @return the preference store for this plugin + */ + @Override protected IPreferenceStore doGetPreferenceStore() { - return WorkbenchPlugin.getDefault().getPreferenceStore(); - } - - protected IPreferenceStore getAPIPreferenceStore() { - return PrefUtil.getAPIPreferenceStore(); - } - - protected void updateValidState() { - if (!recentFilesEditor.isValid()) { - setErrorMessage(recentFilesEditor.getErrorMessage()); - setValid(false); - } else if (!reuseEditorsThreshold.isValid()) { - setErrorMessage(reuseEditorsThreshold.getErrorMessage()); - setValid(false); - } else { - setErrorMessage(null); - setValid(true); - } - } - - /** - * Create a composite that contains entry fields specifying editor reuse preferences. - */ - protected void createEditorReuseGroup(Composite composite) { - editorReuseGroup = new Composite(composite, SWT.LEFT); - GridLayout layout = new GridLayout(); - // Line up with other entries in preference page - layout.marginWidth = 0; - layout.marginHeight = 0; - editorReuseGroup.setLayout(layout); - editorReuseGroup.setLayoutData(new GridData( - GridData.HORIZONTAL_ALIGN_FILL | GridData.GRAB_HORIZONTAL)); - - reuseEditors = new Button(editorReuseGroup, SWT.CHECK); - reuseEditors.setText(WorkbenchMessages.WorkbenchPreference_reuseEditors); - reuseEditors.setLayoutData(new GridData()); - - IPreferenceStore store = WorkbenchPlugin.getDefault() - .getPreferenceStore(); - reuseEditors.setSelection(store - .getBoolean(IPreferenceConstants.REUSE_EDITORS_BOOLEAN)); - reuseEditors.addSelectionListener(widgetSelectedAdapter(e -> { + return WorkbenchPlugin.getDefault().getPreferenceStore(); + } + + protected IPreferenceStore getAPIPreferenceStore() { + return PrefUtil.getAPIPreferenceStore(); + } + + protected void updateValidState() { + if (!recentFilesEditor.isValid()) { + setErrorMessage(recentFilesEditor.getErrorMessage()); + setValid(false); + } else if (!reuseEditorsThreshold.isValid()) { + setErrorMessage(reuseEditorsThreshold.getErrorMessage()); + setValid(false); + } else { + setErrorMessage(null); + setValid(true); + } + } + + /** + * Create a composite that contains entry fields specifying editor reuse + * preferences. + */ + protected void createEditorReuseGroup(Composite composite) { + editorReuseGroup = new Composite(composite, SWT.LEFT); + GridLayout layout = new GridLayout(); + // Line up with other entries in preference page + layout.marginWidth = 0; + layout.marginHeight = 0; + editorReuseGroup.setLayout(layout); + editorReuseGroup.setLayoutData(new GridData(GridData.HORIZONTAL_ALIGN_FILL | GridData.GRAB_HORIZONTAL)); + + reuseEditors = new Button(editorReuseGroup, SWT.CHECK); + reuseEditors.setText(WorkbenchMessages.WorkbenchPreference_reuseEditors); + reuseEditors.setLayoutData(new GridData()); + + IPreferenceStore store = WorkbenchPlugin.getDefault().getPreferenceStore(); + reuseEditors.setSelection(store.getBoolean(IPreferenceConstants.REUSE_EDITORS_BOOLEAN)); + reuseEditors.addSelectionListener(widgetSelectedAdapter(e -> { reuseEditorsThreshold.getLabelControl(editorReuseThresholdGroup).setEnabled(reuseEditors.getSelection()); reuseEditorsThreshold.getTextControl(editorReuseThresholdGroup).setEnabled(reuseEditors.getSelection()); })); - editorReuseIndentGroup = new Composite(editorReuseGroup, SWT.LEFT); - GridLayout indentLayout = new GridLayout(); - indentLayout.marginLeft = REUSE_INDENT; - indentLayout.marginWidth = 0; - editorReuseIndentGroup.setLayout(indentLayout); - editorReuseIndentGroup.setLayoutData(new GridData(SWT.FILL, SWT.CENTER, true, false)); + editorReuseIndentGroup = new Composite(editorReuseGroup, SWT.LEFT); + GridLayout indentLayout = new GridLayout(); + indentLayout.marginLeft = REUSE_INDENT; + indentLayout.marginWidth = 0; + editorReuseIndentGroup.setLayout(indentLayout); + editorReuseIndentGroup.setLayoutData(new GridData(SWT.FILL, SWT.CENTER, true, false)); - editorReuseThresholdGroup = new Composite(editorReuseIndentGroup, - SWT.LEFT); - layout = new GridLayout(); + editorReuseThresholdGroup = new Composite(editorReuseIndentGroup, SWT.LEFT); + layout = new GridLayout(); layout.marginWidth = 0; - editorReuseThresholdGroup.setLayout(layout); - editorReuseThresholdGroup.setLayoutData(new GridData(SWT.FILL, SWT.CENTER, true, false)); - - reuseEditorsThreshold = new IntegerFieldEditor( - IPreferenceConstants.REUSE_EDITORS, - WorkbenchMessages.WorkbenchPreference_reuseEditorsThreshold, editorReuseThresholdGroup); - - reuseEditorsThreshold.setPreferenceStore(WorkbenchPlugin.getDefault() - .getPreferenceStore()); - reuseEditorsThreshold.setPage(this); - reuseEditorsThreshold.setTextLimit(2); - reuseEditorsThreshold.setErrorMessage(WorkbenchMessages.WorkbenchPreference_reuseEditorsThresholdError); - reuseEditorsThreshold - .setValidateStrategy(StringFieldEditor.VALIDATE_ON_KEY_STROKE); - reuseEditorsThreshold.setValidRange(1, 99); - reuseEditorsThreshold.load(); - reuseEditorsThreshold.getLabelControl(editorReuseThresholdGroup) - .setEnabled(reuseEditors.getSelection()); - reuseEditorsThreshold.getTextControl(editorReuseThresholdGroup) - .setEnabled(reuseEditors.getSelection()); - reuseEditorsThreshold.setPropertyChangeListener(validityChangeListener); - - } - - /** - * Create a composite that contains entry fields specifying editor history preferences. - */ - protected void createEditorHistoryGroup(Composite composite) { - Composite groupComposite = new Composite(composite, SWT.LEFT); - GridLayout layout = new GridLayout(); - layout.numColumns = 2; - groupComposite.setLayout(layout); - GridData gd = new GridData(); - gd.horizontalAlignment = GridData.FILL; - gd.grabExcessHorizontalSpace = true; - groupComposite.setLayoutData(gd); - - recentFilesEditor = new IntegerFieldEditor( - IPreferenceConstants.RECENT_FILES, - WorkbenchMessages.WorkbenchPreference_recentFiles, groupComposite); - - recentFilesEditor.setPreferenceStore(WorkbenchPlugin.getDefault() - .getPreferenceStore()); - recentFilesEditor.setPage(this); - recentFilesEditor.setTextLimit(Integer.toString(EditorHistory.MAX_SIZE) - .length()); - recentFilesEditor - .setErrorMessage(NLS.bind(WorkbenchMessages.WorkbenchPreference_recentFilesError, - Integer.valueOf(EditorHistory.MAX_SIZE))); - recentFilesEditor - .setValidateStrategy(StringFieldEditor.VALIDATE_ON_KEY_STROKE); - recentFilesEditor.setValidRange(0, EditorHistory.MAX_SIZE); - recentFilesEditor.load(); - recentFilesEditor.setPropertyChangeListener(validityChangeListener); - } -} + editorReuseThresholdGroup.setLayout(layout); + editorReuseThresholdGroup.setLayoutData(new GridData(SWT.FILL, SWT.CENTER, true, false)); + + reuseEditorsThreshold = new IntegerFieldEditor(IPreferenceConstants.REUSE_EDITORS, + WorkbenchMessages.WorkbenchPreference_reuseEditorsThreshold, editorReuseThresholdGroup); + + reuseEditorsThreshold.setPreferenceStore(WorkbenchPlugin.getDefault().getPreferenceStore()); + reuseEditorsThreshold.setPage(this); + reuseEditorsThreshold.setTextLimit(2); + reuseEditorsThreshold.setErrorMessage(WorkbenchMessages.WorkbenchPreference_reuseEditorsThresholdError); + reuseEditorsThreshold.setValidateStrategy(StringFieldEditor.VALIDATE_ON_KEY_STROKE); + reuseEditorsThreshold.setValidRange(1, 99); + reuseEditorsThreshold.load(); + reuseEditorsThreshold.getLabelControl(editorReuseThresholdGroup).setEnabled(reuseEditors.getSelection()); + reuseEditorsThreshold.getTextControl(editorReuseThresholdGroup).setEnabled(reuseEditors.getSelection()); + reuseEditorsThreshold.setPropertyChangeListener(validityChangeListener); + + } + /** + * Create a composite that contains entry fields specifying editor history + * preferences. + */ + protected void createEditorHistoryGroup(Composite composite) { + Composite groupComposite = new Composite(composite, SWT.LEFT); + GridLayout layout = new GridLayout(); + layout.numColumns = 2; + groupComposite.setLayout(layout); + GridData gd = new GridData(); + gd.horizontalAlignment = GridData.FILL; + gd.grabExcessHorizontalSpace = true; + groupComposite.setLayoutData(gd); + + recentFilesEditor = new IntegerFieldEditor(IPreferenceConstants.RECENT_FILES, + WorkbenchMessages.WorkbenchPreference_recentFiles, groupComposite); + + recentFilesEditor.setPreferenceStore(WorkbenchPlugin.getDefault().getPreferenceStore()); + recentFilesEditor.setPage(this); + recentFilesEditor.setTextLimit(Integer.toString(EditorHistory.MAX_SIZE).length()); + recentFilesEditor.setErrorMessage(NLS.bind(WorkbenchMessages.WorkbenchPreference_recentFilesError, + Integer.valueOf(EditorHistory.MAX_SIZE))); + recentFilesEditor.setValidateStrategy(StringFieldEditor.VALIDATE_ON_KEY_STROKE); + recentFilesEditor.setValidRange(0, EditorHistory.MAX_SIZE); + recentFilesEditor.load(); + recentFilesEditor.setPropertyChangeListener(validityChangeListener); + } +} |