Sat, 28 Mar 2009 15:40:47 +0100 | immler | when jEdit is run from Netbeans, activate=defer does not work (why?) | file | diff | annotate |
Mon, 23 Mar 2009 21:32:14 +0100 | immler | merged: resolved conflicts with Markups: ML-syntax styles in styles.props | file | diff | annotate |
Fri, 20 Mar 2009 21:31:45 +0100 | wenzelm | recovered activate=defer, which is the "new" way to invoke jEdit plugins (cf. 3fbb7b565013); | file | diff | annotate |
Sun, 01 Feb 2009 12:50:21 +0100 | immler | modified netbeans build such that dist can be used as settings-directory for jedit; | file | diff | annotate |
Sat, 20 Dec 2008 18:25:15 +0100 | wenzelm | tuned order of menu items; | file | diff | annotate |
Sat, 20 Dec 2008 17:14:27 +0100 | wenzelm | added author field; | file | diff | annotate |
Sat, 20 Dec 2008 16:07:51 +0100 | wenzelm | regular plugin activation via "defer"; | file | diff | annotate |
Sat, 20 Dec 2008 14:48:10 +0100 | wenzelm | renamed IsabellePlugin to Isabelle; | file | diff | annotate | base |