455456457458459460461462463464465
UndoController undoController=getUndoController(); if (undoController!=null){ if (isUndo) undoController.undo(); else undoController.redo(); refreshUndoButtons(); } } public void doZoomIn() { if (activeTopView != null)