equal
deleted
inserted
replaced
1 /*************************************************************************** |
1 /*************************************************************************** |
2 Title: GraphBrowser/TreeBrowser.java |
2 Title: GraphBrowser/TreeBrowser.java |
3 Author: Stefan Berghofer, TU Muenchen |
3 Author: Stefan Berghofer, TU Muenchen |
|
4 Options: :tabSize=4: |
4 |
5 |
5 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 |
6 trees. It contains methods for handling events. |
7 trees. It contains methods for handling events. |
7 ***************************************************************************/ |
8 ***************************************************************************/ |
8 |
9 |