equal
deleted
inserted
replaced
1 /*************************************************************************** |
1 /*************************************************************************** |
2 Title: GraphBrowser/TreeBrowser.java |
2 Title: GraphBrowser/TreeBrowser.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 class defines the browser window which is used to display directory |
6 This class defines the browser window which is used to display directory |
8 trees. It contains methods for handling events. |
7 trees. It contains methods for handling events. |
9 ***************************************************************************/ |
8 ***************************************************************************/ |
10 |
9 |