2017-01-07 wenzelm 2017-01-07 separate Buffer_Model vs. File_Model; misc tuning and clarification;
2017-01-06 wenzelm 2017-01-06 manage buffer models as explicit global state; tuned signature;
2017-01-05 wenzelm 2017-01-05 misc tuning and clarification;
2016-12-28 wenzelm 2016-12-28 clarified modules;
2016-12-28 wenzelm 2016-12-28 clarified signature: explicit Length to avoid implicit mistakes;
2016-12-23 wenzelm 2016-12-23 full range for Position.Item; more hyperlinks for VSCode;
2016-12-23 wenzelm 2016-12-23 tuned;
2016-12-23 wenzelm 2016-12-23 tuned;
2016-12-23 wenzelm 2016-12-23 tuned;
2016-12-23 wenzelm 2016-12-23 tuned;
2016-12-22 wenzelm 2016-12-22 clarified modules;
2016-12-21 wenzelm 2016-12-21 tuned -- use zero-based Line.Position;
2016-12-20 wenzelm 2016-12-20 proper counting of chars;
2016-12-20 wenzelm 2016-12-20 tuned;
2016-11-24 wenzelm 2016-11-24 explicit option editor_generated_input_delay, which is more aggressive by default;
2016-11-23 wenzelm 2016-11-23 delay_first for machine generated editor events: avoid starvation, e.g. when operating on big sessions;
2016-01-27 wenzelm 2016-01-27 allow single quote within URL;
2016-01-05 wenzelm 2016-01-05 fewer use of to reduce danger of deadlock on shutdown;
2015-11-21 wenzelm 2015-11-21 double flush to ensure persistent "state" output is reset; tuned GUI;
2015-11-13 wenzelm 2015-11-13 added antiquotation @{doc}, e.g. useful for demonstration purposes;
2015-11-03 wenzelm 2015-11-03 prefer ad-hoc non-worker threads;
2015-11-02 wenzelm 2015-11-02 redundant;
2015-08-24 wenzelm 2015-08-24 more explicit debugger caret rendering;
2015-08-20 wenzelm 2015-08-20 tuned signature, according to ML version;
2015-08-15 wenzelm 2015-08-15 more robust access to stable tip version: take all pending edits into account, don't assume model for current buffer;
2015-08-11 wenzelm 2015-08-11 support hyperlinks with optional focus change; no change of focus for debuffer position, to avoid visual glitches and keep panel active;
2015-08-10 wenzelm 2015-08-10 tuned signature;
2015-01-08 wenzelm 2015-01-08 tuned;
2014-12-02 wenzelm 2014-12-02 added Untyped.method convenience (for *this* class only);
2014-10-05 wenzelm 2014-10-05 citation tooltip/hyperlink based on open buffers with .bib files;
2014-08-10 wenzelm 2014-08-10 follow link to originating command, to ensure that Simplifier_Trace_Dockable displays its results (via current_command);
2014-08-09 wenzelm 2014-08-09 clarified synchronized scope;
2014-07-23 wenzelm 2014-07-23 more explicit discrimination of empty nodes -- suppress from Theories panel;
2014-07-23 wenzelm 2014-07-23 clarified module name: facilitate alternative GUI frameworks;
2014-07-23 wenzelm 2014-07-23 proper change of perspective for removed nodes (stemming from closed buffers);
2014-04-28 wenzelm 2014-04-28 mane delayed events outside of Swing thread -- triggers no longer require Swing_Thread.later;
2014-04-25 wenzelm 2014-04-25 prefer Isabelle/Scala operations;
2014-04-22 wenzelm 2014-04-22 avoid "Adaptation of argument list by inserting ()" -- deprecated in scala-2.11.0;
2014-04-09 wenzelm 2014-04-09 avoid confusion about pointless cursor movement with external links;
2014-04-08 wenzelm 2014-04-08 more explicit Command.Chunk types, less ooddities; tuned;
2014-04-08 wenzelm 2014-04-08 tuned;
2014-04-07 wenzelm 2014-04-07 simplified blob again (amending 1e77ed11f2f7): only store file node name, i.e. the raw editor file name; more liberal hyperlink to files, allow hyperlinks within editor files independently of the (POSIX) file-system;
2014-04-07 wenzelm 2014-04-07 tuned signature -- prefer static type Document.Node.Name;
2014-04-04 wenzelm 2014-04-04 support for jEdit Navigator plugin;
2014-04-02 wenzelm 2014-04-02 tuned signature -- more explicit iterator terminology;
2014-03-29 wenzelm 2014-03-29 tuned signature;
2014-03-03 wenzelm 2014-03-03 tuned signature -- emphasize symbol positions (prover) vs. decoded text offsets (editor);
2014-03-03 wenzelm 2014-03-03 clarified path checks: avoid crash of rendering due to spurious errors;
2014-03-03 wenzelm 2014-03-03 more precise navigation within open files;
2014-03-03 wenzelm 2014-03-03 tuned signature;
2014-03-03 wenzelm 2014-03-03 tuned signature;
2014-03-01 wenzelm 2014-03-01 incorporate chunk range that is 1 off end-of-input, for improved error positions (NB: command spans are tight, without trailing whitespace); tuned signature;
2014-02-27 wenzelm 2014-02-27 more formal Document.Blobs; removed junk;
2014-02-27 wenzelm 2014-02-27 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 wenzelm 2014-02-11 maintain multiple command chunks and markup trees: for main chunk and loaded files; document view for all text areas, including auxiliary files;
2013-12-09 wenzelm 2013-12-09 browse directory hyperlink as well;
2013-12-09 wenzelm 2013-12-09 added document antiquotation @{url}, which produces formal markup for LaTeX and PIDE;
2013-11-20 wenzelm 2013-11-20 restrict node_required status and Theories panel to actual theories;
2013-11-20 wenzelm 2013-11-20 refer to thy_load command of auxiliary file;
2013-11-19 wenzelm 2013-11-19 tuned signature;