src/Tools/jEdit/src/actions.xml
2012-09-25 ago basic integration of graphview into document model;
2012-09-21 ago renamed Output to Output1 and Output2 to Output, and thus make the new version the default;
2012-09-16 ago alternative output panel, based on Pretty_Text_Area, based on JEditEmbeddedTextArea;
2012-05-29 ago separate syslog dockable -- discontinued tendency of sub-window management via tabs;
2012-05-29 ago separate README dockable, which allows to make it more prominent first and remove it later;
2011-09-10 ago explicit jEdit actions -- to enable key mappings, for example;
2011-08-17 ago some convenience actions/shortcuts for control symbols;
2011-06-08 ago simplified directory structure;