112113114115116117118119120121122
process.setSkinName(skin.getName()); drawing.setProcess(process); currentModeler.endUndo(); view.redraw(); if (currentModeler.getPluginComponent().isShowing()) { currentModeler.focusPlugin(); }
4849505152535455565758
double scaleFactor = view.getScaleFactor(); scaleFactor *= (100d + diff) / 100; view.setScaleFactor(scaleFactor); // ((Trackable) editor).centerTrackerAt (center); view.redraw(); } } public void deactivate() {
430431432433434435436437438439440
{ double factor = ((Double) je.getObject()).doubleValue(); WorkspaceDrawingView view = modeler.getDrawingView(); view.setScaleFactor(factor); view.redraw(); view.revalidate(); modeler.focusPlugin(); return EVENT_CONSUMED;
460461462463464465466467468469470
// Clear the selection in order to prevent having invisible objects selected view.clearSelection(); // Redraw to reflect the changes view.redraw(); return EVENT_HANDLED; } /**