Package org.eclipse.core.runtime.preferences

Examples of org.eclipse.core.runtime.preferences.IPreferencesService

42
43
44
45
46
47
48
49
50
51
  /**
   * Returns the value of the integer preference corresponding to the given key,
   * or the provided default value if not defined.
   */
  public static int getInt(String key, int defaultValue) {
    IPreferencesService service = Activator.getPreferenceService();
    if (service == null)
      return defaultValue;
    return service.getInt(ServerConstants.PREFERENCE_SCOPE, key, defaultValue, null);
  }
View Full Code Here
2122
2123
2124
2125
2126
2127
2128
2129
2130
2131
2132
2133
2134
2135
2136
2137
    if (isDeprecatedOption(optionName)) {
      return JavaCore.ERROR;
    }
    int optionLevel = getOptionLevel(optionName);
    if (optionLevel != UNKNOWN_OPTION){
      IPreferencesService service = Platform.getPreferencesService();
      String value = service.get(optionName, null, this.preferencesLookup);
      if (value == null && optionLevel == DEPRECATED_OPTION) {
        // May be a deprecated option, retrieve the new value in compatible options
        String[] compatibleOptions = (String[]) this.deprecatedOptions.get(optionName);
        value = service.get(compatibleOptions[0], null, this.preferencesLookup);
      }
      return value==null ? null : value.trim();
    }
    return null;
  }
View Full Code Here
2218
2219
2220
2221
2222
2223
2224
2225
2226
2227
2228
2229
2230
2231
2232
2233
2234
2235
2236
2237
2238
2239
2240
2241
2242
2243
2244
2245
      this.optionsCache = getDefaultOptionsNoInitialization();
      return new Hashtable(this.optionsCache);
    }
    // init
    Hashtable options = new Hashtable(10);
    IPreferencesService service = Platform.getPreferencesService();

    // set options using preferences service lookup
    Iterator iterator = this.optionNames.iterator();
    while (iterator.hasNext()) {
      String propertyName = (String) iterator.next();
      String propertyValue = service.get(propertyName, null, this.preferencesLookup);
      if (propertyValue != null) {
        options.put(propertyName, propertyValue);
      }
    }

    // set deprecated options using preferences service lookup
    Iterator deprecatedEntries = this.deprecatedOptions.entrySet().iterator();
    while (deprecatedEntries.hasNext()) {
      Entry entry = (Entry) deprecatedEntries.next();
      String propertyName = (String) entry.getKey();
      String propertyValue = service.get(propertyName, null, this.preferencesLookup);
      if (propertyValue != null) {
        options.put(propertyName, propertyValue);
        String[] compatibleOptions = (String[]) entry.getValue();
        for (int co=0, length=compatibleOptions.length; co < length; co++) {
          String compatibleOption = compatibleOptions[co];
View Full Code Here
307
308
309
310
311
312
313
314
315
316
317
318
        //printKeyEvent(e);
        //System.out.println("accelerat:\t" + accelerator + "\t (" +
        // KeySupport.formatStroke(Stroke.create(accelerator), true) +
        // ")");

                final IPreferencesService service = Platform.getPreferencesService();
                final boolean stickyCycle = service.getBoolean(
                        "org.eclipse.ui.workbench", "STICKY_CYCLE", false, null); //$NON-NLS-1$ //$NON-NLS-2$
        if ((!stickyCycle && (firstKey || quickReleaseMode)) && keyCode == stateMask)
          ok(dialog, table);
            }
        });
View Full Code Here
306
307
308
309
310
311
312
313
314
315
316
317
        //printKeyEvent(e);
        //System.out.println("accelerat:\t" + accelerator + "\t (" +
        // KeySupport.formatStroke(Stroke.create(accelerator), true) +
        // ")");

                final IPreferencesService service = Platform.getPreferencesService();
                final boolean stickyCycle = service.getBoolean(
                        "org.eclipse.ui.workbench", "STICKY_CYCLE", false, null); //$NON-NLS-1$ //$NON-NLS-2$
        if ((!stickyCycle && (firstKey || quickReleaseMode)) && keyCode == stateMask)
          ok(dialog, table);
            }
        });
View Full Code Here
29
30
31
32
33
34
35
36
37
38
39
    proxyService.setProxyScanEnabled(!oldValue);
    return null;
  }
 
  private void configureScanner(IScannerConfig config) {
    final IPreferencesService preferencesService = Platform.getPreferencesService();
    final boolean logAll = preferencesService.getBoolean(SCANNER_PLUGIN, P_LOG_ALL_REQUESTS, false, null);
    final boolean displayDebug = preferencesService.getBoolean(SCANNER_PLUGIN, P_DISPLAY_DEBUG_OUTPUT, false, null);
    config.setLogAllRequests(logAll);
    config.setDisplayDebugOutput(displayDebug);
  }
View Full Code Here
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
    public long getCurrentTime() {
        return System.currentTimeMillis();
    }

    public String getApplicationId() {
        IPreferencesService preferencesService = Platform.getPreferencesService();
        if (preferencesService == null) {
            return TESTING_ID;
        }
        //Note: this is the same qualifier/id used by aptana plugins (so that we don't generate
        //a new one if there's already one registered).
        String qualifier = "com.aptana.db";
        String key = "ide-id";
        String id = preferencesService.getString(qualifier, key, null, null);

        if (id == null) {
            Preferences node = null;
            String keyNodeInPrefs = qualifier + "." + key;
            String keySettingInPrefs = "UUID";
View Full Code Here
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
     *
     * @return the String to use for indenting
     */
    private String indentStringFromEditorsUIPreferences() {
       
        IPreferencesService ps = Platform.getPreferencesService();
        boolean spacesForTabs = ps.getBoolean(
                EditorsUI.PLUGIN_ID,
                AbstractDecoratedTextEditorPreferenceConstants.EDITOR_SPACES_FOR_TABS,
                false,
                null
                );
        if (spacesForTabs) {
            int tabWidth = ps.getInt(
                    EditorsUI.PLUGIN_ID,
                    AbstractDecoratedTextEditorPreferenceConstants.EDITOR_TAB_WIDTH,
                    4,
                    null
                    );
View Full Code Here
2087
2088
2089
2090
2091
2092
2093
2094
2095
2096
2097
2098
2099
2100
2101
2102
    if (isDeprecatedOption(optionName)) {
      return JavaCore.ERROR;
    }
    int optionLevel = getOptionLevel(optionName);
    if (optionLevel != UNKNOWN_OPTION){
      IPreferencesService service = Platform.getPreferencesService();
      String value = service.get(optionName, null, this.preferencesLookup);
      if (value == null && optionLevel == DEPRECATED_OPTION) {
        // May be a deprecated option, retrieve the new value in compatible options
        String[] compatibleOptions = (String[]) this.deprecatedOptions.get(optionName);
        value = service.get(compatibleOptions[0], null, this.preferencesLookup);
      }
      return value==null ? null : value.trim();
    }
    return null;
  }
View Full Code Here
2183
2184
2185
2186
2187
2188
2189
2190
2191
2192
2193
2194
2195
2196
2197
2198
2199
2200
2201
2202
2203
2204
2205
2206
2207
2208
2209
2210
      this.optionsCache = getDefaultOptionsNoInitialization();
      return new Hashtable(this.optionsCache);
    }
    // init
    Hashtable options = new Hashtable(10);
    IPreferencesService service = Platform.getPreferencesService();

    // set options using preferences service lookup
    Iterator iterator = this.optionNames.iterator();
    while (iterator.hasNext()) {
      String propertyName = (String) iterator.next();
      String propertyValue = service.get(propertyName, null, this.preferencesLookup);
      if (propertyValue != null) {
        options.put(propertyName, propertyValue);
      }
    }

    // set deprecated options using preferences service lookup
    Iterator deprecatedEntries = this.deprecatedOptions.entrySet().iterator();
    while (deprecatedEntries.hasNext()) {
      Entry entry = (Entry) deprecatedEntries.next();
      String propertyName = (String) entry.getKey();
      String propertyValue = service.get(propertyName, null, this.preferencesLookup);
      if (propertyValue != null) {
        options.put(propertyName, propertyValue);
        String[] compatibleOptions = (String[]) entry.getValue();
        for (int co=0, length=compatibleOptions.length; co < length; co++) {
          String compatibleOption = compatibleOptions[co];
View Full Code Here
TOP

Related Classes of org.eclipse.core.runtime.preferences.IPreferencesService

  • com.dubture.symfony.index.SymfonyDbFactory
  • com.googlecode.jslint4java.eclipse.builder.Excluder
  • com.googlecode.jslint4java.eclipse.builder.JSLintProvider
  • com.puppetlabs.xtext.ui.editor.formatting.ResourceILineSeparatorProvider
  • com.salesforce.ide.ui.editors.apex.assistance.ApexAutoIndentStrategy
  • com.subgraph.vega.ui.http.commands.ProxyScanHandler
  • de.fu_berlin.inf.dpp.preferences.LineDelimiterManipulator
  • eu.admire.workbench.gateway.client.ExecuteAction
  • eu.admire.workbench.gateway.client.ExecuteHandler
  • eu.admire.workbench.gateway.client.ExecuteToolbarAction
    • Copyright © 2018 www.massapicom. All rights reserved.
    All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.