src/Tools/jEdit/build.xml
Fri, 31 Oct 2008 14:49:09 +0100 immler faster resizing, unlimited caching(but cache is cleared on resize)
Tue, 28 Oct 2008 20:17:29 +0100 immler reverted build.xml
Tue, 28 Oct 2008 20:15:28 +0100 immler absolute positioning according to preferred size of panels,
Mon, 20 Oct 2008 20:25:54 +0200 wenzelm added target -pre-jar which copies jEdit plugin to be included in jar;
Sun, 19 Oct 2008 18:27:30 +0200 wenzelm basic Netbeans project setup;
less more (0) tip