6 months ago wenzelm 2019-04-06 support both hinted and unhinted fonts;
6 months ago wenzelm 2019-03-24 more markup for various text kinds, notably for nested formal comments;
8 months ago wenzelm 2019-01-31 added option jedit_text_overview for visual appearance (not performance, see also 72216713733a);
10 months ago wenzelm 2018-11-21 more comment markup;
13 months ago wenzelm 2018-09-01 more explicit status for "canceled" command within theory node;
21 months ago wenzelm 2018-01-02 clarified terminology of "markdown_bullet";
2017-06-23 wenzelm 2017-06-23 indentation of keywords after input;
2017-06-21 wenzelm 2017-06-21 clarified modules;
2017-03-07 wenzelm 2017-03-07 clarified modules;
2017-03-04 wenzelm 2017-03-04 symbolic Rendering.Color; clarified modules;
2017-01-08 wenzelm 2017-01-08 resolve dependencies implicitly via File_Model, without jEdit Buffer_Model;
2016-07-13 wenzelm 2016-07-13 semantic indentation for unstructured proof scripts;
2016-07-12 wenzelm 2016-07-12 added action "isabelle.newline" (shortcut ENTER);
2016-06-22 wenzelm 2016-06-22 report class parameters within instantiation;
2016-04-15 wenzelm 2016-04-15 clarified rendering wrt. hyperlinks;
2016-04-15 wenzelm 2016-04-15 tuned rendering;
2016-04-14 wenzelm 2016-04-14 background color for entity def/ref focus;
2016-04-01 wenzelm 2016-04-01 tuned;
2015-11-21 wenzelm 2015-11-21 less intrusive rendering, notably for State dockable;
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-08 wenzelm 2015-09-08 disable jedit_auto_resolve (again) -- too confusing;
2015-08-25 wenzelm 2015-08-25 clarified undefined_blobs: already loaded theories are suppressed; enabled jedit_auto_resolve (again): e.g. relevant for debugging when following links through source files;
2015-08-24 wenzelm 2015-08-24 more explicit debugger caret rendering;
2015-08-19 wenzelm 2015-08-19 disabled auto resolve, until practical consequences are more clear;
2015-08-12 wenzelm 2015-08-12 resolve undefined blobs by default, e.g. relevant for ML debugger to avoid reset of breakpoints after reload;
2015-08-12 wenzelm 2015-08-12 tuned colors;
2015-08-12 wenzelm 2015-08-12 clarified breakpoint rendering;
2015-08-10 wenzelm 2015-08-10 tuned rendering;
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-03-19 wenzelm 2015-03-19 tuned;
2015-01-05 wenzelm 2015-01-05 GUI.imitate_font: more explicit result size, e.g. relevant for caching; some graphview font options: Helvetica family is important for self-contained PDF; 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-09 wenzelm 2014-12-09 proper alt_string markup (cf. 2ceb05ee0331); more jEdit colors, less PG colors (see bb20fb8a57be);
2014-10-21 wenzelm 2014-10-21 added option jedit_structure_limit; tuned signature;
2014-07-31 wenzelm 2014-07-31 completion popup supports both ENTER and TAB (default);
2014-06-28 wenzelm 2014-06-28 jedit_completion_immediate is enabled by default: let all users participate in slightly more ambitious symbol insertion;
2014-05-06 wenzelm 2014-05-06 common support for search field, which is actually a light-weight Highlighter;
2014-05-06 wenzelm 2014-05-06 tuned;
2014-05-03 wenzelm 2014-05-03 support for path completion based on file-system content;
2014-05-03 wenzelm 2014-05-03 yet another completion option, to imitate old less ambitious behavior;
2014-04-15 wenzelm 2014-04-15 tuned default: melange of all "en" dialects;
2014-04-14 wenzelm 2014-04-14 tuned;
2014-04-14 wenzelm 2014-04-14 eliminated somewhat pointless locale parameter;
2014-04-13 wenzelm 2014-04-13 added dictionaries_selector GUI; tuned;
2014-04-12 wenzelm 2014-04-12 NEWS;
2014-04-12 wenzelm 2014-04-12 more spell_checker_elements; tuned color;
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-03-30 wenzelm 2014-03-30 immediate completion even with delay, which is the default according to 638b29331549;
2014-03-18 wenzelm 2014-03-18 more markup for improper elements;
2014-03-17 wenzelm 2014-03-17 back to KeyEventInterceptor (see 423e29f1f304), but without focus change, which helps to avoid loosing key events due to quick opening and closing of popups; discontinued obsolete option jedit_completion_dismiss_delay (see 750561986828); more explicit shutdown;
2014-03-17 wenzelm 2014-03-17 allow implicit semantic completion, notably after delay that exceeds usual round-trip time; clarified isabelle.completion action: already open popup is re-opened and thus updated;
2014-03-12 wenzelm 2014-03-12 clarified Markup.operator vs. Markup.delimiter; tuned color;
2014-03-05 wenzelm 2014-03-05 tuned color (cf. jEdit FUNCTION);
2014-03-05 wenzelm 2014-03-05 more explicit quasi_keyword markup, for Args.$$$ material, which is somewhere in between of outer and inner syntax;
2014-02-27 wenzelm 2014-02-27 simplified rendering -- no need to over-emphasize "token_range";