private void updateIcons() { if (widget instanceof MenuItem) { MenuItem item = (MenuItem) widget; LocalResourceManager m = new LocalResourceManager(JFaceResources.getResources()); item.setImage(icon == null ? null : m.createImage(icon)); disposeOldImages(); localResourceManager = m; } else if (widget instanceof ToolItem) { ToolItem item = (ToolItem) widget; LocalResourceManager m = new LocalResourceManager(JFaceResources.getResources()); // TODO: [bm] dis/hot images of item // item.setDisabledImage(disabledIcon == null ? null : m // .createImage(disabledIcon)); // item.setHotImage(hoverIcon == null ? null : m // .createImage(hoverIcon)); item.setImage(icon == null ? null : m.createImage(icon)); disposeOldImages(); localResourceManager = m; } }
/** Get the default color to use for displaying active hyperlinks. */ public static Color getActiveHyperlinkText(Display display) { return JFaceResources.getColorRegistry().get(JFacePreferences.ACTIVE_HYPERLINK_COLOR); }
/** Get the default color to use for displaying errors. */ public static Color getErrorText(Display display) { return JFaceResources.getColorRegistry().get(JFacePreferences.ERROR_COLOR); }