Example #1
0
 // Update Undo/Redo Button State based on Undo Manager
 protected void updateHistoryButtons() {
   // The View Argument Defines the Context
   editor.mainToolBar.setActionEnabled(
       MainActions.ACTION_UNDO, undoManager.canUndo(graph.getGraphLayoutCache()));
   editor.mainToolBar.setActionEnabled(
       MainActions.ACTION_REDO, undoManager.canRedo(graph.getGraphLayoutCache()));
 }
Example #2
0
 /** 重做上一步 */
 public void redo() {
   if (undoManager == null) return;
   try {
     undoManager.redo(graph.getGraphLayoutCache());
   } catch (Exception ex) {
     System.err.println(ex);
   } finally {
     updateHistoryButtons();
   }
 }