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

more general dispatcher operations;

tuned signature;

clarified modules;

support "purge" operation on document model;

proper template;

tuned;

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;

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

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

avoid confusion about pointless cursor movement with external links;

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

tuned signature;

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

centralized management of pending buffer edits;

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 -- more abstract PIDE editor operations;