public TextEditorDefaultsPreferencePage() { setPreferenceStore(EditorsPlugin.getDefault().getPreferenceStore()); fOverlayStore= createOverlayStore(); fInitializerFactory= new InitializerFactory(fOverlayStore); }
public boolean performOk() { if (!fConfigurationBlock.canPerformOk()) return false; fConfigurationBlock.performOk(); fOverlayStore.propagate(); EditorsPlugin.getDefault().savePluginPreferences(); return true; }
public LinkedModeConfigurationBlock(OverlayPreferenceStore store) { fStore= store; final MarkerAnnotationPreferences prefs= EditorsPlugin.getDefault().getMarkerAnnotationPreferences(); getPreferenceStore().addKeys(createOverlayStoreKeys(prefs)); fListModel= createAnnotationTypeListModel(prefs); }
public AccessibilityPreferencePage() { setDescription(TextEditorMessages.AccessibilityPreferencePage_accessibility_title); setPreferenceStore(EditorsPlugin.getDefault().getPreferenceStore()); fOverlayStore= createOverlayStore(); }
public LanguageEditorPreferencePage() { setDescription("Configure the preferences for individual languages on their respective page."); //$NON-NLS-1$ setPreferenceStore(EditorsPlugin.getDefault().getPreferenceStore()); }
public void widgetSelected(SelectionEvent e) { int index= combo.getSelectionIndex(); EnumValue value= domain.getValueByIndex(index); IStatus status= domain.validate(value); if (!status.matches(IStatus.ERROR)) fOverlayStore.setValue(preference.getKey(), value.getIntValue()); updateStatus(status); } });
@Override protected void setPreferenceStore() { setPreferenceStore(EditorsPlugin.getDefault().getPreferenceStore()); }
@Override protected void setPreferenceStore() { setPreferenceStore(EditorsPlugin.getDefault().getPreferenceStore()); }
/** * Creates a new preference page. */ public AbstractConfigurationBlockPreferencePage() { setDescription(); setPreferenceStore(); fOverlayStore= new OverlayPreferenceStore(getPreferenceStore(), new OverlayPreferenceStore.OverlayKey[] {}); fConfigurationBlock= createConfigurationBlock(fOverlayStore); }
public boolean performOk() { fOverlayStore.propagate(); EditorsPlugin.getDefault().savePluginPreferences(); return true; }
public void performDefaults() { getPreferenceStore().loadDefaults(); /* * Only call super after updating fShowInTextCheckBox, so that * the master-slave dependencies get properly updated. */ handleAnnotationListSelection(); initializeFields(); }
public void initialize() { int value= fOverlayStore.getInt(fPreference.getKey()); EnumValue enumValue= fDomain.getValueByInteger(value); if (enumValue != null) { int index= fDomain.getIndex(enumValue); if (index >= 0) fControl.select(index); } } }
@Override public boolean performOk() { if (!fConfigurationBlock.canPerformOk()) return false; fConfigurationBlock.performOk(); fOverlayStore.propagate(); return true; }
private OverlayPreferenceStore createOverlayStore() { ArrayList overlayKeys= new ArrayList(); overlayKeys.add(new OverlayPreferenceStore.OverlayKey(OverlayPreferenceStore.BOOLEAN, AbstractDecoratedTextEditorPreferenceConstants.EDITOR_USE_CUSTOM_CARETS)); overlayKeys.add(new OverlayPreferenceStore.OverlayKey(OverlayPreferenceStore.BOOLEAN, AbstractDecoratedTextEditorPreferenceConstants.EDITOR_WIDE_CARET)); overlayKeys.add(new OverlayPreferenceStore.OverlayKey(OverlayPreferenceStore.BOOLEAN, AbstractDecoratedTextEditorPreferenceConstants.QUICK_DIFF_CHARACTER_MODE)); OverlayPreferenceStore.OverlayKey[] keys= new OverlayPreferenceStore.OverlayKey[overlayKeys.size()]; overlayKeys.toArray(keys); return new OverlayPreferenceStore(getPreferenceStore(), keys); }
public void dispose() { OverlayPreferenceStore store= getPreferenceStore(); if (store != null) { store.stop(); } }
@Override public void performDefaults() { fStore.loadDefaults(); initialize(); }
public LinkedModeConfigurationBlock(OverlayPreferenceStore store) { fStore= store; final MarkerAnnotationPreferences prefs= EditorsPlugin.getDefault().getMarkerAnnotationPreferences(); getPreferenceStore().addKeys(createOverlayStoreKeys(prefs)); fListModel= createAnnotationTypeListModel(prefs); }
public AccessibilityPreferencePage() { setDescription(TextEditorMessages.AccessibilityPreferencePage_accessibility_title); setPreferenceStore(EditorsPlugin.getDefault().getPreferenceStore()); fOverlayStore= createOverlayStore(); }
public boolean performOk() { fOverlayStore.propagate(); EditorsPlugin.getDefault().savePluginPreferences(); return true; }
@Override public void dispose() { OverlayPreferenceStore store= getPreferenceStore(); if (store != null) { store.stop(); } }