Example usage for org.eclipse.jface.preference IPreferenceStore getString

Introduction

In this page you can find the example usage for org.eclipse.jface.preference IPreferenceStore getString.

Prototype

String getString(String name);

Source Link

Document

Returns the current value of the string-valued preference with the given name.

Usage

From source file:com.google.dart.tools.search.internal.core.text.TextSearchEngineRegistry.java

License:Open Source License

private String getPreferredEngineID() {
    IPreferenceStore prefs = SearchPlugin.getDefault().getPreferenceStore();
    String preferedEngine = prefs.getString(SearchPreferencePage.TEXT_SEARCH_ENGINE);
    return preferedEngine;
}

From source file:com.google.dart.tools.search.internal.ui.SearchPreferencePage.java

License:Open Source License

public static String getDefaultPerspectiveId() {
    handleDeletedPerspectives();//w ww .  jav  a2s . c o m
    IPreferenceStore store = SearchPlugin.getDefault().getPreferenceStore();
    String id = store.getString(DEFAULT_PERSPECTIVE);
    if (id == null || id.length() == 0 || id.equals(NO_DEFAULT_PERSPECTIVE)) {
        return null;
    } else if (PlatformUI.getWorkbench().getPerspectiveRegistry().findPerspectiveWithId(id) == null) {
        store.putValue(DEFAULT_PERSPECTIVE, id);
        return null;
    }
    return id;
}

From source file:com.google.dart.tools.search.internal.ui.SearchPreferencePage.java

License:Open Source License

private static void handleDeletedPerspectives() {
    IPreferenceStore store = SearchPlugin.getDefault().getPreferenceStore();
    String id = store.getString(DEFAULT_PERSPECTIVE);
    if (PlatformUI.getWorkbench().getPerspectiveRegistry().findPerspectiveWithId(id) == null) {
        store.putValue(DEFAULT_PERSPECTIVE, NO_DEFAULT_PERSPECTIVE);
    }/* w ww.java 2  s .c  om*/
}

From source file:com.google.dart.tools.search2.internal.ui.text2.TextSearchQueryProviderRegistry.java

License:Open Source License

private String getPreferredEngineID() {
    IPreferenceStore prefs = SearchPlugin.getDefault().getPreferenceStore();
    String preferedEngine = prefs.getString(SearchPreferencePage.TEXT_SEARCH_QUERY_PROVIDER);
    return preferedEngine;
}

From source file:com.google.dart.tools.ui.internal.callhierarchy.CallHierarchy.java

License:Open Source License

/**
 * Returns the current filters as a string.
 * //from   www .  j  a va2 s .co  m
 * @return returns the filters
 */
public String getFilters() {
    IPreferenceStore settings = DartToolsPlugin.getDefault().getPreferenceStore();

    return settings.getString(PREF_FILTERS_LIST);
}

From source file:com.google.dart.tools.ui.internal.formatter.DartFormatter.java

License:Open Source License

public static void ensurePrintMarginPreferencesMigrated() {
    IPreferenceStore store = EditorsPlugin.getDefault().getPreferenceStore();
    if (!store.getBoolean(PRINT_MARGIN_MIGRATED)) {
        store.setValue(PRINT_MARGIN_COLUMN,
                store.getString(AbstractDecoratedTextEditorPreferenceConstants.EDITOR_PRINT_MARGIN_COLUMN));
        store.setValue(PRINT_MARGIN,// www. ja v  a  2 s.  c  o  m
                store.getString(AbstractDecoratedTextEditorPreferenceConstants.EDITOR_PRINT_MARGIN));
        store.setValue(PRINT_MARGIN_MIGRATED, true);
    }
}

From source file:com.google.dart.tools.ui.internal.preferences.DartBasePreferencePage.java

License:Open Source License

private void initFromPrefs() {
    IPreferenceStore editorPreferences = EditorsPlugin.getDefault().getPreferenceStore();
    IPreferenceStore toolsPreferences = PreferenceConstants.getPreferenceStore();

    lineNumbersCheck.setSelection(editorPreferences
            .getBoolean(AbstractDecoratedTextEditorPreferenceConstants.EDITOR_LINE_NUMBER_RULER));
    printMarginCheck.setSelection(//from  w  ww .j a v  a2  s . c om
            editorPreferences.getBoolean(AbstractDecoratedTextEditorPreferenceConstants.EDITOR_PRINT_MARGIN));
    printMarginText.setText(editorPreferences
            .getString(AbstractDecoratedTextEditorPreferenceConstants.EDITOR_PRINT_MARGIN_COLUMN));
    printMarginText.setEnabled(printMarginCheck.getSelection());

    removeTrailingWhitespaceCheck
            .setSelection(toolsPreferences.getBoolean(PreferenceConstants.EDITOR_REMOVE_TRAILING_WS));
    enableFolding.setSelection(toolsPreferences.getBoolean(PreferenceConstants.EDITOR_FOLDING_ENABLED));

    IEclipsePreferences prefs = DartCore.getPlugin().getPrefs();
    if (prefs != null) {
        String root = prefs.get(DartCore.PACKAGE_ROOT_DIR_PREFERENCE, ""); //$NON-NLS-1$
        packageRootDir.setText(root);
        root = prefs.get(DartCore.AUXILIARY_DIR_PREFERENCE, ""); //$NON-NLS-1$
        auxDirText.setText(root);
    }

}

From source file:com.google.dart.tools.ui.internal.preferences.DartKeyBindingPersistence.java

License:Open Source License

/**
 * Called at start up; restore custom bindings saved in a previous session, if any.
 *//*from w w w.j  av  a2  s . c o  m*/
public void restoreBindingPreferences() {
    IPreferenceStore prefs = DartToolsPlugin.getDefault().getPreferenceStore();
    String prefString = prefs.getString(CUSTOM_KEY_BINDING_STRING);
    if (prefString == null || prefString.isEmpty()) {
        return;
    }
    Reader reader = new StringReader(prefString);
    try {
        readFrom(reader);
    } catch (CoreException ex) {
        DartToolsPlugin.log(ex);
    }
}

From source file:com.google.dart.tools.ui.internal.preferences.FontPreferencePage.java

License:Open Source License

private void persistFont(String fontKey, FontData[] fontData) {
    IPreferenceStore workbenchPrefStore = WorkbenchPlugin.getDefault().getPreferenceStore();

    IThemeManager themeManager = PlatformUI.getWorkbench().getThemeManager();
    ITheme theme = themeManager.getCurrentTheme();
    FontRegistry registry = theme.getFontRegistry();
    registry.put(fontKey, fontData);//from w  ww. j  a v  a 2 s .  co  m

    String key = ThemeElementHelper.createPreferenceKey(theme, fontKey);
    String fdString = PreferenceConverter.getStoredRepresentation(fontData);
    String storeString = workbenchPrefStore.getString(key);

    if (!fdString.equals(storeString)) {
        workbenchPrefStore.setValue(key, fdString);
    }
}

From source file:com.google.dart.tools.ui.internal.preferences.FontPreferencePage.java

License:Open Source License

@SuppressWarnings("unused")
private void scaleFontNamed(String name, int size) {
    IPreferenceStore workbenchPrefStore = WorkbenchPlugin.getDefault().getPreferenceStore();
    IThemeManager themeManager = PlatformUI.getWorkbench().getThemeManager();
    ITheme theme = themeManager.getCurrentTheme();
    FontRegistry registry = theme.getFontRegistry();
    FontData[] fds = registry.getFontData(name);
    FontData data = new FontData(fds[0].getName(), size, fds[0].getStyle());
    registry.put(name, new FontData[] { data });
    String key = ThemeElementHelper.createPreferenceKey(theme, name);
    String fdString = PreferenceConverter.getStoredRepresentation(new FontData[] { data });
    String storeString = workbenchPrefStore.getString(key);
    if (!fdString.equals(storeString)) {
        workbenchPrefStore.setValue(key, fdString);
    }//from   w  w w  .  j  av a 2  s .c om
}