Searched refs:renderer (Results 1 - 2 of 2) sorted by relevance

/barrelfish-master/usr/eclipseclp/CPViz/viztool/src/components/
H A DMyInternalFrame.java237 if (renderer == null || renderer.getTree() != gvtRoot) {
238 renderer = createImageRenderer();
239 renderer.setTree(gvtRoot);
261 gvtTreeRenderer = new GVTTreeRenderer(renderer, renderingTransform,
/barrelfish-master/usr/eclipseclp/Visualisation/src/com/parctechnologies/eclipse/visualisation/viewers/
H A DBoundsViewletType.java92 // set the custom renderer
565 Renderer renderer = new Renderer(element,
582 result.setIcon(new RendererIcon(renderer,data,bounds));
600 Renderer renderer; field in class:BoundsViewletType.RendererIcon
604 public RendererIcon(Renderer renderer, argument
607 this.renderer = renderer;
628 //Data data = renderer.getViewletData();
632 //renderer.configure(new Rectangle2D.Double(x,y,c.getWidth(),c.getHeight()),
633 //renderer
[all...]

Completed in 84 milliseconds