431432433434435436437438439440441
double factor = ((Double) je.getObject()).doubleValue(); WorkspaceDrawingView view = modeler.getDrawingView(); view.setScaleFactor(factor); view.redraw(); view.revalidate(); modeler.focusPlugin(); return EVENT_CONSUMED; }