src/Tools/jEdit/src/jedit_editor.scala
2014-07-23 ago clarified module name: facilitate alternative GUI frameworks;
2014-07-23 ago proper change of perspective for removed nodes (stemming from closed buffers);
2014-04-28 ago mane delayed events outside of Swing thread -- triggers no longer require Swing_Thread.later;
2014-04-25 ago prefer Isabelle/Scala operations;
2014-04-22 ago avoid "Adaptation of argument list by inserting ()" -- deprecated in scala-2.11.0;
2014-04-09 ago avoid confusion about pointless cursor movement with external links;
2014-04-08 ago more explicit Command.Chunk types, less ooddities;
2014-04-08 ago tuned;
2014-04-07 ago simplified blob again (amending 1e77ed11f2f7): only store file node name, i.e. the raw editor file name;
2014-04-07 ago tuned signature -- prefer static type Document.Node.Name;
2014-04-04 ago support for jEdit Navigator plugin;
2014-04-02 ago tuned signature -- more explicit iterator terminology;
2014-03-29 ago tuned signature;
2014-03-03 ago tuned signature -- emphasize symbol positions (prover) vs. decoded text offsets (editor);
2014-03-03 ago clarified path checks: avoid crash of rendering due to spurious errors;
2014-03-03 ago more precise navigation within open files;
2014-03-03 ago tuned signature;
2014-03-03 ago tuned signature;
2014-03-01 ago incorporate chunk range that is 1 off end-of-input, for improved error positions (NB: command spans are tight, without trailing whitespace);
2014-02-27 ago more formal Document.Blobs;
2014-02-27 ago proper update of text perspective for nodes with changed blobs, which is important to refresh the corresponding command perspective (otherwise it might refer to invalid thy_load commands and cause full execution of the node by the prover);
2014-02-11 ago maintain multiple command chunks and markup trees: for main chunk and loaded files;
2013-12-09 ago browse directory hyperlink as well;
2013-12-09 ago added document antiquotation @{url}, which produces formal markup for LaTeX and PIDE;
2013-11-20 ago restrict node_required status and Theories panel to actual theories;
2013-11-20 ago refer to thy_load command of auxiliary file;
2013-11-19 ago tuned signature;
2013-11-19 ago clarified Document.Blobs environment vs. actual edits of auxiliary files;
2013-11-17 ago centralized management of pending buffer edits;
2013-10-11 ago clarified Editor.current_command: allow outdated snapshot;
2013-09-24 ago more tolerant treatment of end-of-buffer -- avoid debatable situations of jEdit buffer boundaries;
2013-09-24 ago skip ignored commands, similar to former proper_command_at (see d68ea01d5084) -- relevant to Output, Query_Operation etc.;
2013-08-12 ago manage hyperlinks via PIDE editor interface;
2013-08-12 ago prefer PIDE editor operations;
2013-08-12 ago central management of Document.Overlays, independent of Document_Model;
2013-08-12 ago tuned signature;
2013-08-12 ago tuned signature;
2013-08-12 ago tuned signature -- more abstract PIDE editor operations;