src/Tools/jEdit/src/jEdit.props
Wed, 21 Nov 2012 14:07:35 +0100 wenzelm enable Symbols dockable by default;
Tue, 07 Aug 2012 21:38:24 +0200 wenzelm clarified Sidekick configuration, including minor modes;
Tue, 29 May 2012 16:39:42 +0200 wenzelm separate README dockable, which allows to make it more prominent first and remove it later;
Thu, 19 Apr 2012 21:53:24 +0200 wenzelm some sidekick options for more advanced completion;
Wed, 08 Jun 2011 22:06:05 +0200 wenzelm simplified directory structure;
less more (0) tip