src/Tools/jEdit/src/plugin.scala
2011-08-12 ago clarified document model header: master_dir (native wrt. editor, potentially URL) and node_name (full canonical path);
2011-07-09 ago tuned signature;
2011-07-07 ago explicit Document.Node.Header, with master_dir and thy_name;
2011-07-05 ago prefer space_explode/split_lines as in Isabelle/ML;
2011-07-04 ago quasi-static Isabelle_System -- reduced tendency towards "functorial style";
2011-07-03 ago more explicit edit_node vs. init_node;
2011-07-02 ago some support for Session.File_Store;
2011-07-02 ago eliminated redundant session_ready;
2011-06-23 ago explicit import java.lang.System to prevent odd scope problems;
2011-06-22 ago clarified plugin start/stop;
2011-06-22 ago init/exit model/view synchronously within the swing thread -- EditBus.send in jedit-4.4.1 always runs there;
2011-06-21 ago some support for user symbol fonts;
2011-06-20 ago added SyntaxUtilities.StyleExtender hook, with actual functionality in Isabelle/Scala;
2011-06-19 ago support for bold style within text buffer;
2011-06-18 ago avoid setTokenMarker fluctuation on buffer reload etc. via static isabelle_token_marker, which is installed by hijacking the jEdit ModeProvider;
2011-06-18 ago convenience functions;
2011-06-18 ago basic support for extended syntax styles: sub/superscript;
2011-06-14 ago builtin sub/superscript styles for jedit-4.3.2;
2011-06-08 ago moved sources -- eliminated Netbeans artifact of jedit package directory;