public static interface Decorations { /** */ ImageDescriptor ADD = Activator.imageDescriptor("addOverlay.gif"); /** */ ImageDescriptor COLLECTION = Activator.imageDescriptor("collectionOverlay.gif"); /** */ ImageDescriptor MAPPED = Activator.imageDescriptor("mappedOverlay.gif"); }
/** @param model */ public JavaPage(String pageName, final Model model, boolean isSource) { super(pageName, model); setTitle("Java Page"); setImageDescriptor(Activator.imageDescriptor("transform.png")); this.isSource = isSource; observablesManager.addObservablesFromContext(context, true, true); _builder = new ModelBuilder(); }
public static interface Images { /** */ Image ADD_FUNCTION = Activator.imageDescriptor("addFunction16.gif").createImage(); /** */ Image ADD = PlatformUI.getWorkbench().getSharedImages().getImage(ISharedImages.IMG_OBJ_ADD); /** */ Image ATTRIBUTE = Activator.imageDescriptor("attribute16.gif").createImage(); /** */ Image CHANGE = Activator.imageDescriptor("change16.gif").createImage(); /** */ Image CLEAR = Activator.imageDescriptor("clear16.gif").createImage(); /** */ Image COLLAPSE_ALL = Activator.imageDescriptor("collapseAll16.gif").createImage(); /** */ Image DELETE = PlatformUI.getWorkbench().getSharedImages().getImage(ISharedImages.IMG_ETOOL_DELETE); /** */ Image ELEMENT = Activator.imageDescriptor("element16.gif").createImage(); /** */ Image FILTER = Activator.imageDescriptor("filter16.gif").createImage(); /** */ Image HIDE_MAPPED = Activator.imageDescriptor("hideMapped16.gif").createImage(); /** */ Image MAPPED = Activator.imageDescriptor("mapped16.gif").createImage(); /** */ Image MENU = Activator.imageDescriptor("menu10x5.gif").createImage(); /** */ Image SEARCH = Activator.imageDescriptor("search16.gif").createImage(); /** */ Image TREE = Activator.imageDescriptor("tree16.gif").createImage(); /** */ Image VARIABLE = Activator.imageDescriptor("variable16.gif").createImage(); }