src/Tools/jEdit/src/plugin.scala
2011-07-02 wenzelm 2011-07-02 eliminated redundant session_ready;
2011-06-23 wenzelm 2011-06-23 explicit import java.lang.System to prevent odd scope problems;
2011-06-22 wenzelm 2011-06-22 clarified plugin start/stop;
2011-06-22 wenzelm 2011-06-22 init/exit model/view synchronously within the swing thread -- EditBus.send in jedit-4.4.1 always runs there;
2011-06-21 wenzelm 2011-06-21 some support for user symbol fonts;
2011-06-20 wenzelm 2011-06-20 added SyntaxUtilities.StyleExtender hook, with actual functionality in Isabelle/Scala;
2011-06-19 wenzelm 2011-06-19 support for bold style within text buffer; hidden: white foreground;
2011-06-18 wenzelm 2011-06-18 avoid setTokenMarker fluctuation on buffer reload etc. via static isabelle_token_marker, which is installed by hijacking the jEdit ModeProvider;
2011-06-18 wenzelm 2011-06-18 convenience functions;
2011-06-18 wenzelm 2011-06-18 basic support for extended syntax styles: sub/superscript;
2011-06-14 wenzelm 2011-06-14 builtin sub/superscript styles for jedit-4.3.2;
2011-06-08 wenzelm 2011-06-08 moved sources -- eliminated Netbeans artifact of jedit package directory;