/** * @see org.eclipse.core.resources.IWorkspaceDescription#setSnapshotInterval(long) */ @Override public void setSnapshotInterval(long delay) { preferences.setValue(ResourcesPlugin.PREF_SNAPSHOT_INTERVAL, delay); }
/** * {@inheritDoc} */ public void putValue(String name, String value) { try { fSilent= true; fPreferences.setValue(name, value); } finally { fSilent= false; } }
/** * {@inheritDoc} */ public void setValue(String name, boolean value) { fPreferences.setValue(name, value); } }
/** * @see org.eclipse.core.resources.IWorkspaceDescription#setFileStateLongevity(long) */ @Override public void setFileStateLongevity(long time) { preferences.setValue(ResourcesPlugin.PREF_FILE_STATE_LONGEVITY, time); }
/** * @see org.eclipse.core.resources.IWorkspaceDescription#setSnapshotInterval(long) */ @Override public void setSnapshotInterval(long delay) { preferences.setValue(ResourcesPlugin.PREF_SNAPSHOT_INTERVAL, delay); }
/** * @see org.eclipse.core.resources.IWorkspaceDescription#setFileStateLongevity(long) */ @Override public void setFileStateLongevity(long time) { preferences.setValue(ResourcesPlugin.PREF_FILE_STATE_LONGEVITY, time); }
@Override public void setValue(String name, boolean value) { fPreferences.setValue(name, value); } }
/** * {@inheritDoc} */ public void setValue(String name, String value) { fPreferences.setValue(name, value); }
@Override public void setValue(String name, String value) { fPreferences.setValue(name, value); }
/** * @see org.eclipse.core.resources.IWorkspaceDescription#setApplyFileStatePolicy(boolean) */ @Override public void setApplyFileStatePolicy(boolean apply) { preferences.setValue(ResourcesPlugin.PREF_APPLY_FILE_STATE_POLICY, apply); }
protected void storeValuesForValidatingGroup() { if (fWarnNoGrammar != null) { boolean warnNoGrammarButtonSelected = fWarnNoGrammar.getSelection(); getModelPreferences().setValue(XMLCorePreferenceNames.WARN_NO_GRAMMAR, warnNoGrammarButtonSelected); } }
/** * Sets the import location. * * @param s the import location */ public void setImportLocation(String s) { preferences.setValue(PREF_IMPORT_LOCATION, s); ServerUIPlugin.getInstance().savePluginPreferences(); }
/** * Sets the current value of the boolean-valued property with the * given name. The given name must not be <code>null</code>. * @param name the name of the property * @param value the new current value of the property */ public void setValue(String name, boolean value) { getPreferences().setValue(name, value); firePreferenceChanged(); }
public void setJ2EEWebContentFolderName(String value) { //getPreferences().setValue(Keys.J2EE_WEB_CONTENT, value); // TODO but should it be deprecated ? is j2ee_web_content a better name than web_content_folder ? getPreferences().setValue(Keys.WEB_CONTENT_FOLDER, value); firePreferenceChanged(); }
/** * Sets the current value of the boolean-valued property with the * given name. The given name must not be <code>null</code>. * @param name the name of the property * @param value the new current value of the property */ public void setValue(String name, boolean value) { getPreferences().setValue(name, value); firePreferenceChanged(); }
public void setSetting(String key, String value){ getPreferences().setValue(key, value); firePreferenceChanged(); }
public void setUseEARLibraries(boolean value) { getPreferences().setValue(Keys.USE_EAR_LIBRARIES, value); firePreferenceChanged(); }
public void setIncrementalDeploymentEnabled(boolean value) { getPreferences().setValue(Keys.INCREMENTAL_DEPLOYMENT_SUPPORT, value); firePreferenceChanged(); }
synchronized void setIndexState(int state) { if (DEBUG) { System.out.println("JSPIndexManager setting index state to: " + state2String(state)); //$NON-NLS-1$ } Plugin jspModelPlugin = JSPCorePlugin.getDefault(); jspModelPlugin.getPluginPreferences().setValue(PKEY_INDEX_STATE, state); jspModelPlugin.savePluginPreferences(); }
public static void migrateSSH2Preferences() { Preferences preferences = JSchCorePlugin.getPlugin().getPluginPreferences(); if(!preferences.getBoolean(IConstants.PREF_HAS_MIGRATED_SSH2_PREFS)){ preferences.setValue(IConstants.PREF_HAS_MIGRATED_SSH2_PREFS, true); migrateSSH2Preferences(new InstanceScope().getNode("")); //$NON-NLS-1$ } }