| Sat, 09 Jan 2016 22:00:22 +0100 | wenzelm | tuned -- according to ML version; | file | diff | annotate |
| Mon, 23 Nov 2015 19:51:33 +0100 | wenzelm | clarified font: GUI defaults might change dynamically; | file | diff | annotate |
| Sat, 31 Oct 2015 14:38:48 +0100 | wenzelm | back to traditional Metal as default, and thus evade current problems with Nimbus scrollbar slider; | file | diff | annotate |
| Tue, 27 Oct 2015 23:18:32 +0100 | wenzelm | no icons here -- not a standalone window; | file | diff | annotate |