Esempio n. 1
0
  public static interface Decorations {

    /** */
    ImageDescriptor ADD = Activator.imageDescriptor("addOverlay.gif");

    /** */
    ImageDescriptor COLLECTION = Activator.imageDescriptor("collectionOverlay.gif");

    /** */
    ImageDescriptor MAPPED = Activator.imageDescriptor("mappedOverlay.gif");
  }
Esempio n. 2
0
 /** @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();
 }
Esempio n. 3
0
  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();
  }