src/Tools/jEdit/src/rendering.scala
2014-10-05 ago citation tooltip/hyperlink based on open buffers with .bib files;
2014-09-26 ago support for sub-expression markup;
2014-08-27 ago more explicit Method.modifier with reported position;
2014-08-13 ago tuned;
2014-08-12 ago allow hyperlinks without offset, just in case the prover emits such reports, despite Position.is_reported;
2014-07-26 ago output state first -- avoid fluctuation wrt. warnings, errors, etc.;
2014-07-21 ago removed unused markup (cf. 2f7d91242b99);
2014-07-21 ago regular message to refer to Simplifier Trace panel (unused);
2014-05-16 ago proper priority for error over warning, which got mixed up in 0546e036d1c0 and 4df2727a0b5f;
2014-05-06 ago common support for search field, which is actually a light-weight Highlighter;
2014-05-03 ago support for path completion based on file-system content;
2014-04-26 ago tuned signature;
2014-04-16 ago more specific support for sequence of words;
2014-04-16 ago tuned signature -- separate module Word;
2014-04-13 ago added spell-checker completion dialog, without counting frequency of items due to empty name;
2014-04-12 ago more general spell_checker_elements;
2014-04-12 ago added spell-checker options;
2014-04-12 ago markup for prose words within formal comments;
2014-04-09 ago more explicit message discrimination;
2014-04-07 ago simplified blob again (amending 1e77ed11f2f7): only store file node name, i.e. the raw editor file name;
2014-04-03 ago more direct warning within persistent Protocol.Status;
2014-04-02 ago more explicit iterator terminology, in accordance to Scala 2.8 library;
2014-04-02 ago persistent protocol_status, to improve performance of node_status a little;
2014-04-01 ago more direct command states -- merge_results is hardly ever needed;
2014-04-01 ago more frugal command_status, which is often used in a tight loop;
2014-03-27 ago more careful treatment of multiple command states (eval + prints): merge content that is actually required;
2014-03-26 ago tuned signature -- expose less intermediate information;
2014-03-25 ago separate tokenization and language context for SML: no symbols, no antiquotes;
2014-03-18 ago clarifed module name;
2014-03-18 ago more markup for improper elements;
2014-03-17 ago tuned rendering -- avoid flashing background of aux. files that are disconnected from the document model;
2014-03-17 ago tuned signature;
2014-03-14 ago discontinued somewhat pointless "thy_script" keyword kind;
2014-03-13 ago clarified Path.smart_implode;
2014-03-12 ago clarified Markup.operator vs. Markup.delimiter;
2014-03-12 ago more explicit markup for Token.Literal;
2014-03-07 ago more detailed description of completion items;
2014-03-05 ago more explicit quasi_keyword markup, for Args.$$$ material, which is somewhere in between of outer and inner syntax;
2014-03-05 ago clarified init_assignable: make double-sure that initial values are reset;
2014-03-03 ago recovered position hyperlinks from 65c9968286d5 (NB: "def" position vs. regular one);
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-02 ago clarified names of antiquotations and markup;
2014-03-01 ago clarified language markup: added "delimited" property;
2014-03-01 ago tuned signature -- separate module Font_Info;
2014-03-01 ago tuned;
2014-03-01 ago font size change with delay, to avoid GUI lagging behind user input;
2014-03-01 ago tuned signature -- more explicit Document.Elements;
2014-02-27 ago simplified rendering -- no need to over-emphasize "token_range";
2014-02-26 ago markup for method combinators;
2014-02-25 ago tuned signature;
2014-02-25 ago more completion rendering: active, semantic, syntactic;
2014-02-25 ago tuned;
2014-02-24 ago clarified painting of invisible caret, e.g. focus change due to popup;
2014-02-24 ago tuned messages;
2014-02-23 ago clarified stretch_point_range wrt. UTF-16 surrogates;
2014-02-23 ago tuned;
2014-02-23 ago some rendering of completion range;