| 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 |
| Mon, 17 May 1999 18:00:59 +0200 | wenzelm | tuned arrows; | file | diff | annotate |