equal
deleted
inserted
replaced
1 /*************************************************************************** |
1 /*************************************************************************** |
2 Title: GraphBrowser/GraphView.java |
2 Title: GraphBrowser/GraphView.java |
3 ID: $Id$ |
|
4 Author: Stefan Berghofer, TU Muenchen |
3 Author: Stefan Berghofer, TU Muenchen |
5 |
4 |
6 This class defines the window in which the graph is displayed. It |
5 This class defines the window in which the graph is displayed. It |
7 contains methods for handling events such as collapsing / uncollapsing |
6 contains methods for handling events such as collapsing / uncollapsing |
8 nodes of the graph. |
7 nodes of the graph. |