/** * Constructor for the class. */ public PathVariableManager() { this.listeners = Collections.synchronizedSet(new HashSet<IPathVariableChangeListener>()); this.projectListeners = Collections.synchronizedMap(new HashMap<IProject, Collection<IPathVariableChangeListener>>()); this.preferences = ResourcesPlugin.getPlugin().getPluginPreferences(); }
/** * Constructor for the class. */ public PathVariableManager() { this.listeners = Collections.synchronizedSet(new HashSet<IPathVariableChangeListener>()); this.projectListeners = Collections.synchronizedMap(new HashMap<IProject, Collection<IPathVariableChangeListener>>()); this.preferences = ResourcesPlugin.getPlugin().getPluginPreferences(); }
/** * Constructor for the class. */ public PathVariableManager() { this.listeners = Collections.synchronizedSet(new HashSet<IPathVariableChangeListener>()); this.projectListeners = Collections.synchronizedMap(new HashMap<IProject, Collection<IPathVariableChangeListener>>()); this.preferences = ResourcesPlugin.getPlugin().getPluginPreferences(); }
/** * Get the current value of the encoding preference. If the value is not set * return <code>null</code>. * * @return String */ public static String getResourceEncoding() { String preference = ResourcesPlugin.getPlugin().getPluginPreferences().getString( ResourcesPlugin.PREF_ENCODING); if (preference == null || preference.length() == 0) { return null; } return preference; }
/** * Disposes this encoding support. */ public void dispose() { Preferences p= ResourcesPlugin.getPlugin().getPluginPreferences(); p.removePropertyChangeListener(fPropertyChangeListener); fTextEditor= null; }
@Deprecated @Override public void setDefaultCharset(String charset) { // directly change the Resource plugin's preference for encoding Preferences resourcesPreferences = ResourcesPlugin.getPlugin().getPluginPreferences(); if (charset != null) resourcesPreferences.setValue(ResourcesPlugin.PREF_ENCODING, charset); else resourcesPreferences.setToDefault(ResourcesPlugin.PREF_ENCODING); }
@Deprecated @Override public void setDefaultCharset(String charset) { // directly change the Resource plugin's preference for encoding Preferences resourcesPreferences = ResourcesPlugin.getPlugin().getPluginPreferences(); if (charset != null) resourcesPreferences.setValue(ResourcesPlugin.PREF_ENCODING, charset); else resourcesPreferences.setToDefault(ResourcesPlugin.PREF_ENCODING); }
@Override public String getDefaultCharset(boolean checkImplicit) { if (checkImplicit) return ResourcesPlugin.getEncoding(); String enc = ResourcesPlugin.getPlugin().getPluginPreferences().getString(ResourcesPlugin.PREF_ENCODING); return enc == null || enc.length() == 0 ? null : enc; }
@Deprecated @Override public void setDefaultCharset(String charset) { // directly change the Resource plugin's preference for encoding Preferences resourcesPreferences = ResourcesPlugin.getPlugin().getPluginPreferences(); if (charset != null) resourcesPreferences.setValue(ResourcesPlugin.PREF_ENCODING, charset); else resourcesPreferences.setToDefault(ResourcesPlugin.PREF_ENCODING); }
@Override public String getDefaultCharset(boolean checkImplicit) { if (checkImplicit) return ResourcesPlugin.getEncoding(); String enc = ResourcesPlugin.getPlugin().getPluginPreferences().getString(ResourcesPlugin.PREF_ENCODING); return enc == null || enc.length() == 0 ? null : enc; }
@Override public String getDefaultCharset(boolean checkImplicit) { if (checkImplicit) return ResourcesPlugin.getEncoding(); String enc = ResourcesPlugin.getPlugin().getPluginPreferences().getString(ResourcesPlugin.PREF_ENCODING); return enc == null || enc.length() == 0 ? null : enc; }
@Override protected void doLoadDefault() { Text text = getTextControl(); if (text != null) { int value = ResourcesPlugin.getPlugin() .getPluginPreferences().getDefaultInt( ResourcesPlugin.PREF_MAX_BUILD_ITERATIONS); text.setText(Integer.toString(value)); } valueChanged(); }
@Override public void shutdown(IProgressMonitor monitor) throws CoreException { if (_historyStore != null) _historyStore.shutdown(monitor); ResourcesPlugin.getPlugin().getPluginPreferences().removePropertyChangeListener(this); }
@Override public void shutdown(IProgressMonitor monitor) throws CoreException { if (_historyStore != null) _historyStore.shutdown(monitor); ResourcesPlugin.getPlugin().getPluginPreferences().removePropertyChangeListener(this); }
/** * Checks for changes to the PREF_AUTO_UPDATE property. * @see org.eclipse.core.runtime.Preferences.IPropertyChangeListener#propertyChange(Preferences.PropertyChangeEvent) */ @Deprecated @Override public void propertyChange(PropertyChangeEvent event) { String property = event.getProperty(); if (ResourcesPlugin.PREF_AUTO_REFRESH.equals(property)) { Preferences preferences = ResourcesPlugin.getPlugin().getPluginPreferences(); final boolean autoRefresh = preferences.getBoolean(ResourcesPlugin.PREF_AUTO_REFRESH); String jobName = autoRefresh ? Messages.refresh_installMonitorsOnWorkspace : Messages.refresh_uninstallMonitorsOnWorkspace; MonitorJob.createSystem(jobName, ResourcesPlugin.getWorkspace().getRoot(), (ICoreRunnable) monitor -> manageAutoRefresh(autoRefresh, monitor)).schedule(); } }
@Override public void shutdown(IProgressMonitor monitor) throws CoreException { if (_historyStore != null) _historyStore.shutdown(monitor); ResourcesPlugin.getPlugin().getPluginPreferences().removePropertyChangeListener(this); }
@Override public void startup(IProgressMonitor monitor) { Preferences preferences = ResourcesPlugin.getPlugin().getPluginPreferences(); preferences.addPropertyChangeListener(this); lightweightAutoRefreshEnabled = preferences.getBoolean(ResourcesPlugin.PREF_LIGHTWEIGHT_AUTO_REFRESH); }
@Override public void startup(IProgressMonitor monitor) { Preferences preferences = ResourcesPlugin.getPlugin().getPluginPreferences(); preferences.addPropertyChangeListener(this); lightweightAutoRefreshEnabled = preferences.getBoolean(ResourcesPlugin.PREF_LIGHTWEIGHT_AUTO_REFRESH); }
@Override public void startup(IProgressMonitor monitor) { Preferences preferences = ResourcesPlugin.getPlugin().getPluginPreferences(); preferences.addPropertyChangeListener(this); lightweightAutoRefreshEnabled = preferences.getBoolean(ResourcesPlugin.PREF_LIGHTWEIGHT_AUTO_REFRESH); }
/** * Initializes the refresh manager. This does a minimal amount of work * if auto-refresh is turned off. */ @Override public void startup(IProgressMonitor monitor) { Preferences preferences = ResourcesPlugin.getPlugin().getPluginPreferences(); preferences.addPropertyChangeListener(this); refreshJob = new RefreshJob(); monitors = new MonitorManager(workspace, this); boolean autoRefresh = preferences.getBoolean(ResourcesPlugin.PREF_AUTO_REFRESH); if (autoRefresh) manageAutoRefresh(autoRefresh); } }