equal
deleted
inserted
replaced
1 /*************************************************************************** |
1 /*************************************************************************** |
2 Title: GraphBrowser/Console.java |
2 Title: GraphBrowser/Console.java |
3 ID: $Id$ |
3 ID: $Id$ |
4 Author: Gerwin Klein, TU Muenchen |
4 Author: Gerwin Klein, TU Muenchen |
5 License: GPL (GNU GENERAL PUBLIC LICENSE) |
|
6 |
5 |
7 This is the graph browser's main class when run as a console application. |
6 This is the graph browser's main class when run as a console application. |
8 It duplicates some logic from GraphBrowser and GraphView. |
7 It duplicates some logic from GraphBrowser and GraphView. |
9 It does so to remove dependency on AWT. |
8 It does so to remove dependency on AWT. |
10 |
9 |