View Javadoc

1   /*
2    * GraphUndoManager.java
3    *
4    * Created on 20. april 2005, 21:54
5    */
6   
7   package com.vikash.firsttool.UI;
8   import com.vikash.firsttool.Diagram.*;
9   import javax.swing.event.UndoableEditEvent;
10  
11  import org.jgraph.graph.GraphUndoManager;
12  
13  /***
14   *
15   * @author  studajb
16   */
17  
18  // override GraphUndoManager in Jgraph
19  
20  
21  public class ToolUndo extends GraphUndoManager{
22     
23  EditorPanel panel;
24  /*ToolGraph graph;
25  ToolBar bar;*/
26      
27      /*** Creates a new instance of GraphUndoManager */
28      public ToolUndo(EditorPanel panel) {
29          this.panel=panel;
30          /*this.graph=graph;
31          this.bar=bar;*/
32      }
33      
34      public void undoableEditHappened(UndoableEditEvent e){
35                  
36                  super.undoableEditHappened(e);
37                  panel.updateundoredobuttons();
38                  
39              
40  }
41  }