Searched refs:zoomLevel (Results 1 - 7 of 7) sorted by relevance

/barrelfish-master/usr/eclipseclp/Visualisation/src/com/parctechnologies/eclipse/visualisation/
H A DZoomable.java47 void zoomToLevel(float zoomLevel); argument
50 * Return most recently set zoomLevel;
H A DTickBar.java89 float zoomLevel; field in class:TickBar
122 this.zoomLevel = 1.0f;
155 " zoomLevel="+zoomLevel+
164 int y = height - ((int)(margin*zoomLevel)+(int)(i*scale*zoomLevel));
175 int y = height - ((int)(margin*zoomLevel)+(int)(i*scale*zoomLevel));
185 int x = (int)(margin*zoomLevel)+(int)(i*scale*zoomLevel);
270 zoomToLevel(float zoomLevel) argument
[all...]
H A DZoomableViewer.java39 public void zoomToLevel(float zoomLevel); argument
H A DChart2DViewer.java219 initialX=e.getX()-(int)(xTickBar.displayMargin*xTickBar.zoomLevel);
227 int currentX=e.getX()-(int)(xTickBar.displayMargin*xTickBar.zoomLevel);
236 int currentX=e.getX()-(int)(xTickBar.displayMargin*xTickBar.zoomLevel);
333 public void zoomToLevel(float zoomLevel) argument
336 super.zoomToLevel(zoomLevel);
338 xTickBar.zoomToLevel(zoomLevel);
339 yTickBar.zoomToLevel(zoomLevel);
H A DGanttViewer.java281 public void zoomToLevel(float zoomLevel) argument
284 super.zoomToLevel(zoomLevel);
286 tickBar.zoomToLevel(zoomLevel);
287 yTickBar.zoomToLevel(zoomLevel);
H A DTableViewer.java165 public void zoomToLevel(float zoomLevel) argument
168 table.setColumnWidth((int)(DEFAULT_COLUMN_WIDTH*zoomLevel));
169 table.setRowHeight((int)(DEFAULT_ROW_HEIGHT*zoomLevel));
H A DGraphViewer.java645 public void zoomToLevel(float zoomLevel) argument
651 graphPanel.multiplyScaleFactor(zoomLevel);
652 //table.setColumnWidth((int)(DEFAULT_COLUMN_WIDTH*zoomLevel));
653 //table.setRowHeight((int)(DEFAULT_ROW_HEIGHT*zoomLevel));

Completed in 38 milliseconds