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 |
Sat, 10 Sep 2011 14:48:06 +0200 | wenzelm | explicit jEdit actions -- to enable key mappings, for example; | file | diff | annotate |
Wed, 17 Aug 2011 16:01:27 +0200 | wenzelm | some convenience actions/shortcuts for control symbols; | file | diff | annotate |
Wed, 08 Jun 2011 21:40:54 +0200 | wenzelm | simplified directory structure; | file | diff | annotate | base |