@Override public void stop(BundleContext context) throws Exception { super.stop(context); if (resourceManager != null) resourceManager.dispose(); }
/** * @param dimmedForegroundRgb the color used for as foreground color for "unhighlighted" entries */ public FileDiffLabelProvider(RGB dimmedForegroundRgb) { dimmedForegroundColor = resourceManager.createColor(dimmedForegroundRgb); }
@Override public Image getImage(Object element) { return fImageCache.createImage(UIIcons.REPOSITORY); }
/** * Creates an empty image registry using the given resource manager to allocate images. * * @param manager the resource manager used to allocate images * * @since 3.1 */ public ImageRegistry(ResourceManager manager) { Assert.isNotNull(manager); Device dev = manager.getDevice(); if (dev instanceof Display) { this.display = (Display)dev; } this.manager = manager; manager.disposeExec(disposeRunnable); }
/** * Disposes this image registry, disposing any images * that were allocated for it, and clearing its entries. * * @since 3.1 */ public void dispose() { manager.cancelDisposeExec(disposeRunnable); if (table != null) { for (Entry entry : table.values()) { if (entry.image != null) { manager.destroyImage(entry.descriptor); } } table = null; } display = null; } }
private Image findOrCreateImage(ImageDescriptor imageDescriptor, ResourceManager resourceManager) { if (imageDescriptor == null) { return null; } Image image = (Image) resourceManager.find(imageDescriptor); if (image == null) { try { image = resourceManager.createImage(imageDescriptor); } catch (DeviceResourceException e) { WorkbenchPlugin.log(e); } } return image; }
@Override public Image getDefaultPageImage() { if (defaultImage == null) { defaultImage = JFaceResources.getResources().createImageWithDefault(defaultImageDescriptor); } return defaultImage; }
private void refresh () { if ( this.color != null ) { // we may not dispose, the manager has to do that this.color = null; } if ( this.activeColor != null ) { this.manager.destroyColor ( this.activeColor ); this.activeColor = null; } this.activeColor = JFaceResources.getColorRegistry ().getColorDescriptor ( this.name, this.defaultColor ); if ( this.activeColor != null ) { this.color = this.manager.createColor ( this.activeColor ); } }
public void setImage ( final String uri ) { if ( this.currentImage != null ) { this.manager.destroyImage ( this.currentImage ); this.currentImage = null; } if ( uri == null || uri.isEmpty () ) { this.figure.setIcon ( null ); } else { try { final URL url = new URL ( this.symbolLoader.resolveUri ( uri ) ); this.figure.setIcon ( this.manager.createImageWithDefault ( this.currentImage = ImageDescriptor.createFromURL ( url ) ) ); this.factoryContext.loadedResource ( URI.createURI ( url.toString () ) ); } catch ( final MalformedURLException e ) { this.figure.setIcon ( this.manager.createImageWithDefault ( ImageDescriptor.getMissingImageDescriptor () ) ); } } }
@Override public void dispose() { if (image != null) { JFaceResources.getResources().destroyImage(desc); image = null; } }
@Override protected Object allocate(DeviceResourceDescriptor descriptor) throws DeviceResourceException { return parentRegistry.create(descriptor); }
public Device getDevice() { return parentRegistry.getDevice(); }
private Font createFont ( final ResourceManager resourceManager ) { final Font defaultFont = resourceManager.getDevice ().getSystemFont (); if ( defaultFont == null ) { return null; } final FontData fd[] = FontDescriptor.copy ( defaultFont.getFontData () ); if ( fd == null ) { return null; } for ( final FontData f : fd ) { if ( this.fontSize > 0 ) { f.setHeight ( this.fontSize ); } } return resourceManager.createFont ( FontDescriptor.createFrom ( fd ) ); } }
/** * Undoes everything that was done by a call to {@link #createColor(RGB)}. * * @since 1.0 * * @param descriptor RGB value of the color to dispose */ public final void destroyColor(RGB descriptor) { destroyColor(new RGBColorDescriptor(descriptor)); }
@Override public Image getDefaultPageImage() { if (defaultImage == null) { defaultImage = JFaceResources.getResources().createImageWithDefault(defaultImageDescriptor); } return defaultImage; }
private void refresh () { if ( this.color != null ) { // we may not dispose, the manager has to do that this.color = null; } if ( this.activeColor != null ) { this.manager.destroyColor ( this.activeColor ); this.activeColor = null; } this.activeColor = JFaceResources.getColorRegistry ().getColorDescriptor ( this.name, this.defaultColor ); if ( this.activeColor != null ) { this.color = this.manager.createColor ( this.activeColor ); } }
public void setImage ( final String uri ) { if ( this.currentImage != null ) { this.manager.destroyImage ( this.currentImage ); this.currentImage = null; } if ( uri == null || uri.isEmpty () ) { this.figure.setIcon ( null ); } else { try { final URL url = new URL ( this.symbolLoader.resolveUri ( uri ) ); this.figure.setIcon ( this.manager.createImageWithDefault ( this.currentImage = ImageDescriptor.createFromURL ( url ) ) ); this.factoryContext.loadedResource ( URI.createURI ( url.toString () ) ); } catch ( final MalformedURLException e ) { this.figure.setIcon ( this.manager.createImageWithDefault ( ImageDescriptor.getMissingImageDescriptor () ) ); } } }
/** * The <code>IntroPart</code> implementation of this * <code>IIntroPart</code> method disposes the title image loaded by * <code>setInitializationData</code>. Subclasses may extend. */ @Override public void dispose() { if (titleImage != null) { JFaceResources.getResources().destroyImage(imageDescriptor); titleImage = null; } // Clear out the property change listeners as we // should not be notifying anyone after the part // has been disposed. clearListeners(); }
@Override protected Object allocate(DeviceResourceDescriptor descriptor) throws DeviceResourceException { return parentRegistry.create(descriptor); }