2016-04-14 wenzelm 2016-04-14 background color for entity def/ref focus;
2016-04-01 wenzelm 2016-04-01 more markup;
2016-03-30 wenzelm 2016-03-30 more language markup;
2015-12-19 wenzelm 2015-12-19 more explicit Pretty.Tree, like in ML; tuned;
2015-11-21 wenzelm 2015-11-21 reverted 2abbe7d700e9: "state" output is not necessarily proof state;
2015-11-21 wenzelm 2015-11-21 avoid flashing of main text area (visual "grey-out") due to spurious edits, e.g. State panel auto-update;
2015-11-21 wenzelm 2015-11-21 less intrusive rendering, notably for State dockable;
2015-11-21 wenzelm 2015-11-21 clarified rendering of Markup.DOC: like Markup.PATH / Markup.URL;
2015-11-13 wenzelm 2015-11-13 added antiquotation @{doc}, e.g. useful for demonstration purposes;
2015-11-09 wenzelm 2015-11-09 suppress already persistent state output as well;
2015-11-07 wenzelm 2015-11-07 syntactic completion may supersede semantic completion, e.g. relevant for "\undefined" vs. "undefined" in ML;
2015-11-07 wenzelm 2015-11-07 less confusing markup;
2015-11-07 wenzelm 2015-11-07 ML cartouches via control antiquotation;
2015-11-05 wenzelm 2015-11-05 symbolic syntax "\<comment> text";
2015-10-15 wenzelm 2015-10-15 more markup;
2015-10-15 wenzelm 2015-10-15 report Markdown document structure;
2015-09-19 wenzelm 2015-09-19 eliminated pointless jedit_text_overview_limit;
2015-09-14 wenzelm 2015-09-14 avoid hardwired colors;
2015-08-24 wenzelm 2015-08-24 more explicit debugger caret rendering;
2015-08-12 wenzelm 2015-08-12 clarified breakpoint rendering;
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; more rendering;
2015-08-10 wenzelm 2015-08-10 set breakpoint state on ML side, relying on stable situation within the PIDE editing queue;
2015-08-10 wenzelm 2015-08-10 added action to toggle breakpoints (on editor side);
2015-08-10 wenzelm 2015-08-10 rendering for debugger/breakpoint active state;
2015-08-10 wenzelm 2015-08-10 tuned signature;
2015-05-03 wenzelm 2015-05-03 misc tuning, based on warnings by IntelliJ IDEA;
2015-01-08 wenzelm 2015-01-08 tuned;
2014-12-30 wenzelm 2014-12-30 explicit message channel for "legacy", which is nonetheless a variant of "warning";
2014-12-23 wenzelm 2014-12-23 explicit message channels for "state", "information"; separate state_message_color;
2014-12-10 wenzelm 2014-12-10 more informative gutter content: fall-back on background color, e.g. when line numbers are enabled; non-transparent information_message_color like other message colors; removed unused error1_color;
2014-12-10 wenzelm 2014-12-10 more explicit markup for improper commands; clarified CSS rendering;
2014-12-09 wenzelm 2014-12-09 clarified language context, e.g. relevant for symbol completion within cartouches;
2014-12-08 wenzelm 2014-12-08 expand ML cartouches to Input.source; tuned signature;
2014-12-03 wenzelm 2014-12-03 clarified token kind;
2014-11-05 wenzelm 2014-11-05 clarified representation of type Keywords; tuned signature;
2014-11-05 wenzelm 2014-11-05 explicit type Keyword.Keywords;
2014-10-06 wenzelm 2014-10-06 completion for bibtex entries;
2014-10-05 wenzelm 2014-10-05 citation tooltip/hyperlink based on open buffers with .bib files;
2014-09-26 wenzelm 2014-09-26 support for sub-expression markup;
2014-08-27 wenzelm 2014-08-27 more explicit Method.modifier with reported position;
2014-08-13 wenzelm 2014-08-13 tuned;
2014-08-12 wenzelm 2014-08-12 allow hyperlinks without offset, just in case the prover emits such reports, despite Position.is_reported;
2014-07-26 wenzelm 2014-07-26 output state first -- avoid fluctuation wrt. warnings, errors, etc.;
2014-07-21 wenzelm 2014-07-21 removed unused markup (cf. 2f7d91242b99);
2014-07-21 wenzelm 2014-07-21 regular message to refer to Simplifier Trace panel (unused);
2014-05-16 wenzelm 2014-05-16 proper priority for error over warning, which got mixed up in 0546e036d1c0 and 4df2727a0b5f;
2014-05-06 wenzelm 2014-05-06 common support for search field, which is actually a light-weight Highlighter;
2014-05-03 wenzelm 2014-05-03 support for path completion based on file-system content;
2014-04-26 wenzelm 2014-04-26 tuned signature;
2014-04-16 wenzelm 2014-04-16 more specific support for sequence of words;
2014-04-16 wenzelm 2014-04-16 tuned signature -- separate module Word;
2014-04-13 wenzelm 2014-04-13 added spell-checker completion dialog, without counting frequency of items due to empty name; tuned signature;
2014-04-12 wenzelm 2014-04-12 more general spell_checker_elements;
2014-04-12 wenzelm 2014-04-12 added spell-checker options; support for rendering bad words;
2014-04-12 wenzelm 2014-04-12 markup for prose words within formal comments;
2014-04-09 wenzelm 2014-04-09 more explicit message discrimination;
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-03 wenzelm 2014-04-03 more direct warning within persistent Protocol.Status; consider Markup.ERROR (e.g. from Output.error_message without exception) as failure; tuned;
2014-04-02 wenzelm 2014-04-02 more explicit iterator terminology, in accordance to Scala 2.8 library; clarified Graph.keys_iterator vs. Graph.keys, with subtle change of semantics; tuned output;