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