/** * Returns the global resource manager for the given display * * @since 3.1 * * @param toQuery * display to query * @return the global resource manager for the given display */ public static ResourceManager getResources(final Display toQuery) { ResourceManager reg = registries.get(toQuery); if (reg == null) { final DeviceResourceManager mgr = new DeviceResourceManager(toQuery); reg = mgr; registries.put(toQuery, mgr); toQuery.disposeExec(() -> { mgr.dispose(); registries.remove(toQuery); }); } return reg; }
private Color getEditorColor(String key) { return (Color) colors.get(createEditorColorDescriptor(key)); }
public void run() { mgr.dispose(); registries.remove(toQuery); } });
final DeviceResourceManager mgr = new DeviceResourceManager(toQuery); reg = mgr; registries.put(toQuery, reg);
public void widgetDisposed(DisposeEvent e) { EditorsUI.getPreferenceStore().removePropertyChangeListener( editorPrefListener); PlatformUI.getWorkbench().getThemeManager() .removePropertyChangeListener(themeListener); colors.dispose(); } });
/** * Returns the global resource manager for the given display * * @since 3.1 * * @param toQuery * display to query * @return the global resource manager for the given display */ public static ResourceManager getResources(final Display toQuery) { ResourceManager reg = registries.get(toQuery); if (reg == null) { final DeviceResourceManager mgr = new DeviceResourceManager(toQuery); reg = mgr; registries.put(toQuery, mgr); toQuery.disposeExec(() -> { mgr.dispose(); registries.remove(toQuery); }); } return reg; }