less aggressive default position: prefer persistent defaults maintained by jEdit (amending 89c5bb2a2128);

more robust shutdown, e.g. when plugin is stopped;

maintain overlays within main state of document models;
proper pending_input for Isabelle/VSCode;

more general dispatcher operations;

tuned signature;

tuned;

clarified modules;

clarified singleton module;

clarified current_command: index refers to node content, negative index means first command;

discontinued pointless Text.Length: Javascript and Java agree in old-fashioned UTF-16;

tuned;

tuned signature;

support "purge" operation on document model;

added node_name(String): imitate jEdit buffer operations;
more uniform get_file_content for external source file references;

tuned;

resolve dependencies implicitly via File_Model, without jEdit Buffer_Model;

refer to bibtex entries via general Document_Model, instead of editor buffers;

separate Buffer_Model vs. File_Model;
misc tuning and clarification;

manage buffer models as explicit global state;
tuned signature;

misc tuning and clarification;

clarified modules;

clarified signature: explicit Length to avoid implicit mistakes;

full range for Position.Item;
more hyperlinks for VSCode;

tuned;

tuned;

tuned;

tuned;

clarified modules;

tuned -- use zero-based Line.Position;

proper counting of chars;

tuned;

explicit option editor_generated_input_delay, which is more aggressive by default;

delay_first for machine generated editor events: avoid starvation, e.g. when operating on big sessions;

allow single quote within URL;

fewer use of GUI_Thread.now to reduce danger of deadlock on shutdown;

double flush to ensure persistent "state" output is reset;
tuned GUI;

added antiquotation @{doc}, e.g. useful for demonstration purposes;

prefer ad-hoc non-worker threads;

redundant;

more explicit debugger caret rendering;

tuned signature, according to ML version;

more robust access to stable tip version: take all pending edits into account, don't assume model for current buffer;

support hyperlinks with optional focus change;
no change of focus for debuffer position, to avoid visual glitches and keep panel active;

tuned signature;

tuned;

added Untyped.method convenience (for *this* class only);

citation tooltip/hyperlink based on open buffers with .bib files;

follow link to originating command, to ensure that Simplifier_Trace_Dockable displays its results (via current_command);

clarified synchronized scope;

more explicit discrimination of empty nodes -- suppress from Theories panel;

clarified module name: facilitate alternative GUI frameworks;

--HG--
rename : src/Pure/GUI/swing_thread.scala => src/Pure/GUI/gui_thread.scala

proper change of perspective for removed nodes (stemming from closed buffers);

mane delayed events outside of Swing thread -- triggers no longer require Swing_Thread.later;

prefer Isabelle/Scala operations;

avoid "Adaptation of argument list by inserting ()" -- deprecated in scala-2.11.0;

avoid confusion about pointless cursor movement with external links;

more explicit Command.Chunk types, less ooddities;
tuned;

tuned;

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;

tuned signature -- prefer static type Document.Node.Name;

support for jEdit Navigator plugin;

tuned signature -- more explicit iterator terminology;

tuned signature;

tuned signature -- emphasize symbol positions (prover) vs. decoded text offsets (editor);

clarified path checks: avoid crash of rendering due to spurious errors;

more precise navigation within open files;

tuned signature;

tuned signature;

incorporate chunk range that is 1 off end-of-input, for improved error positions (NB: command spans are tight, without trailing whitespace);
tuned signature;

more formal Document.Blobs;
removed junk;

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);

maintain multiple command chunks and markup trees: for main chunk and loaded files;
document view for all text areas, including auxiliary files;

browse directory hyperlink as well;

added document antiquotation @{url}, which produces formal markup for LaTeX and PIDE;

restrict node_required status and Theories panel to actual theories;

refer to thy_load command of auxiliary file;

tuned signature;

clarified Document.Blobs environment vs. actual edits of auxiliary files;
more robust handling of vacuous edits;

centralized management of pending buffer edits;

clarified Editor.current_command: allow outdated snapshot;
more accurate Document_View.perspective based on current_command for proper state output (see also 88c6e630c15f and ef62204a126b);

more tolerant treatment of end-of-buffer -- avoid debatable situations of jEdit buffer boundaries;

skip ignored commands, similar to former proper_command_at (see d68ea01d5084) -- relevant to Output, Query_Operation etc.;
tuned signature;

manage hyperlinks via PIDE editor interface;

prefer PIDE editor operations;
apply_query: insist in non-outdated snapshot via editor.current_command;
tuned signature;

central management of Document.Overlays, independent of Document_Model;

tuned signature;

tuned signature;

tuned signature -- more abstract PIDE editor operations;