equal
deleted
inserted
replaced
1 /*************************************************************************** |
1 /*************************************************************************** |
2 Title: GraphBrowser/GraphBrowser.java |
2 Title: GraphBrowser/GraphBrowser.java |
3 ID: $Id$ |
3 ID: $Id$ |
4 Author: Stefan Berghofer, TU Muenchen |
4 Author: Stefan Berghofer, TU Muenchen |
5 License: GPL (GNU GENERAL PUBLIC LICENSE) |
|
6 |
5 |
7 This is the graph browser's main class. It contains the "main(...)" |
6 This is the graph browser's main class. It contains the "main(...)" |
8 method, which is used for the stand-alone version, as well as |
7 method, which is used for the stand-alone version, as well as |
9 "init(...)", "start(...)" and "stop(...)" methods which are used for |
8 "init(...)", "start(...)" and "stop(...)" methods which are used for |
10 the applet version. |
9 the applet version. |