proper HTML.encode;
encode text with control symbols;
more abstract type Input.source;
tuned signature -- prefer Input.source;
tuned signature;
tuned signature;
update_cartouches;
more accurate context;
tuned;
tuned signature;
more merge operations;
tuned signature;
Sidekick syntax is derived from buffer (and its mode), instead of parser name;
clarified token marker / syntax for mode vs. buffer;
node-specific syntax, with base_syntax as default;
clarified Document_Model.init: convergence of editor events towards buffer-specific token marker;
more careful syntax_changed propagation -- avoid global jEdit.propertiesChanged;
tuned signature -- more explicit types;
added Untyped.method convenience (for *this* class only);
clarified token kind;
tuned;