Searched refs:renderer (Results 1 - 2 of 2) sorted by relevance
/barrelfish-master/usr/eclipseclp/CPViz/viztool/src/components/ |
H A D | MyInternalFrame.java | 237 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 D | BoundsViewletType.java | 92 // 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