src/Tools/jEdit/src/plugin.scala
2012-03-02 wenzelm 2012-03-02 avoid buffer loading overrun; tuned;
2012-03-01 wenzelm 2012-03-01 explicitly revoke delay, to avoid spurious timer events after deactivation of related components;
2012-01-14 wenzelm 2012-01-14 tuned signature;
2012-01-04 wenzelm 2012-01-04 updated version information; discontinued somewhat obsolete hotspot check: OpenJDK 1.7 works reasonably well, and final bundling provides certain tested JDK/JRE versions;
2011-12-16 wenzelm 2011-12-16 prefer sorting from Scala library;
2011-10-17 wenzelm 2011-10-17 always use sockets on Windows/Cygwin; discontinued special raw_dump facility;
2011-09-25 wenzelm 2011-09-25 more uniform defaults;
2011-09-23 wenzelm 2011-09-23 explicit option for socket vs. fifo communication;
2011-09-18 wenzelm 2011-09-18 explicit check_file wrt. jEdit VFS, to avoid slightly confusing empty buffer after IO error;
2011-09-17 wenzelm 2011-09-17 tuned signature;
2011-09-17 wenzelm 2011-09-17 more careful traversal of theory dependencies to retain standard import order;
2011-09-10 wenzelm 2011-09-10 explicit jEdit actions -- to enable key mappings, for example;
2011-09-05 wenzelm 2011-09-05 tuned imports;
2011-09-04 wenzelm 2011-09-04 property "tooltip-dismiss-delay" is edited in ms, not seconds; explicit tooltip_dismiss_delay boundaries for further robustness;
2011-09-01 wenzelm 2011-09-01 more abstract Document.Node.Name; tuned signature;
2011-08-31 wenzelm 2011-08-31 some support for theory status overview;
2011-08-31 wenzelm 2011-08-31 improved auto loading: selectable file list;
2011-08-30 wenzelm 2011-08-30 some support for hyperlinks between different buffers; tuned signature;
2011-08-30 wenzelm 2011-08-30 separate module for jEdit primitives for loading theory files;
2011-08-29 wenzelm 2011-08-29 actual auto loading of required files; eliminated File_Store in favour of Thy_Load; tuned;
2011-08-29 wenzelm 2011-08-29 some dialog for auto loading of required files (still inactive);
2011-08-23 wenzelm 2011-08-23 handle potentially more approriate BufferUpdate.LOADED event;
2011-08-22 wenzelm 2011-08-22 added official Text.Range.Ordering; some support for text perspective;
2011-08-17 wenzelm 2011-08-17 some convenience actions/shortcuts for control symbols;
2011-08-16 wenzelm 2011-08-16 more robust Thy_Header.base_name, with minimal assumptions about path syntax; Isabelle.buffer_path: keep platform syntax;
2011-08-16 wenzelm 2011-08-16 use full .thy file name as node name, which makes MiscUtilities.resolveSymlinks/File.getCanonicalPath more predictable; more robust treatment of node dependencies; misc tuning;
2011-08-16 wenzelm 2011-08-16 omit MiscUtilities.resolveSymlinks for now -- odd effects on case-insensible file-system;
2011-08-13 wenzelm 2011-08-13 provide node header via Scala layer; clarified node edit Clear: retain header information; run_command: node info via document model, error handling within transaction; node names without ".thy" suffix, to coincide with traditional theory loader treatment;
2011-08-12 wenzelm 2011-08-12 normalized theory dependencies wrt. file_store;
2011-08-12 wenzelm 2011-08-12 clarified document model header: master_dir (native wrt. editor, potentially URL) and node_name (full canonical path);
2011-07-09 wenzelm 2011-07-09 tuned signature;
2011-07-07 wenzelm 2011-07-07 explicit Document.Node.Header, with master_dir and thy_name; imitate ML path operations more closely;
2011-07-05 wenzelm 2011-07-05 prefer space_explode/split_lines as in Isabelle/ML;
2011-07-04 wenzelm 2011-07-04 quasi-static Isabelle_System -- reduced tendency towards "functorial style";
2011-07-03 wenzelm 2011-07-03 more explicit edit_node vs. init_node; some support for master_dir and header;
2011-07-02 wenzelm 2011-07-02 some support for Session.File_Store;
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;