src/Tools/jEdit/plugin/dockables.xml
2009-12-08 wenzelm 2009-12-08 misc modernization of names;
2009-12-07 wenzelm 2009-12-07 removed ScrollerDockable, which is based on discontinued Flying Saucer renderer;
2009-07-08 immler 2009-07-08 gui element to set current document version
2008-12-20 wenzelm 2008-12-20 more conventional action names;
2008-12-20 wenzelm 2008-12-20 MOVABLE="TRUE" reuses existing instance when changing docking position -- cf. http://www.jedit.org/api/org/gjt/sp/jedit/gui/DockableWindowManager.html
2008-11-02 immler 2008-11-02 calculate preferred sizes only when needed
2008-10-28 immler 2008-10-28 absolute positioning according to preferred size of panels, scrolling one message per unit rendered messages are cached
2008-10-23 immler 2008-10-23 LazyScroller: rendering messages only when needed - very basic functionallity
2008-10-19 wenzelm 2008-10-19 original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout;