| Wed, 07 May 2003 17:41:23 +0200 | kleing | fixed javac warning | file | diff | annotate |
| Mon, 22 Oct 2001 14:52:12 +0200 | berghofe | Moved font settings from TreeNode to TreeBrowser. | file | diff | annotate |
| Sun, 23 Jul 2000 11:59:21 +0200 | wenzelm | renamed "Directories" to "Sessions"; | file | diff | annotate |