Fri, 21 Sep 2012 17:28:53 +0200 | wenzelm | renamed Output to Output1 and Output2 to Output, and thus make the new version the default; | file | diff | annotate |
Sun, 16 Sep 2012 20:16:28 +0200 | wenzelm | alternative output panel, based on Pretty_Text_Area, based on JEditEmbeddedTextArea; | file | diff | annotate |
Tue, 29 May 2012 22:24:31 +0200 | wenzelm | separate syslog dockable -- discontinued tendency of sub-window management via tabs; | file | diff | annotate |
Tue, 29 May 2012 16:39:42 +0200 | wenzelm | separate README dockable, which allows to make it more prominent first and remove it later; | file | diff | annotate |
Wed, 08 Jun 2011 21:40:54 +0200 | wenzelm | simplified directory structure; | file | diff | annotate | base |