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

/barrelfish-master/usr/eclipseclp/Visualisation/src/com/parctechnologies/eclipse/visualisation/
H A DViewerZoomCommand.java30 Float newZoomLevel; field in class:ViewerZoomCommand
33 float newZoomLevel) {
35 this.newZoomLevel = new Float(newZoomLevel);
40 getViewer().zoomToLevel(newZoomLevel.floatValue());
32 ViewerZoomCommand(Viewer viewer, float newZoomLevel) argument
H A DViewer.java121 void zoomToLevel(float newZoomLevel); argument

Completed in 34 milliseconds