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";
2014-02-25 wenzelm 2014-02-25 more completion rendering: active, semantic, syntactic; tuned;
2014-02-24 wenzelm 2014-02-24 tuned colors;
2014-02-24 wenzelm 2014-02-24 clarified painting of invisible caret, e.g. focus change due to popup;
2014-02-17 wenzelm 2014-02-17 more markup;
2014-02-15 wenzelm 2014-02-15 more uniform ML keyword markup; tuned;
2014-01-18 wenzelm 2014-01-18 support for nested text cartouches; clarified Symbol.is_symbolic: exclude \<open> and \<close>;
2013-12-30 wenzelm 2013-12-30 added system option "jedit_print_mode";
2013-11-08 wenzelm 2013-11-08 added jedit_completion_dismiss_delay for hide_popup, which helps to avoid loosing key events on old popup (no change of default behavior);
2013-09-26 wenzelm 2013-09-26 obsolete (see also 48d13465c7c7);
2013-09-25 wenzelm 2013-09-25 bypass Isabelle OSX_Adapter for now -- MacOSX plugin 1.3 manages that better;
2013-09-18 wenzelm 2013-09-18 added option "jedit_auto_load"; allow in-place change of option "editor_continuous_checking";
2013-09-14 wenzelm 2013-09-14 tuned magic number, for improved reactivity on old 2-core machine;
2013-09-09 wenzelm 2013-09-09 more robust Mac OS X application support;
2013-08-29 wenzelm 2013-08-29 tuned;
2013-08-29 wenzelm 2013-08-29 option to insert unique completion immediately into buffer;
2013-08-29 wenzelm 2013-08-29 some completion options;
2013-08-27 wenzelm 2013-08-27 determine completion geometry like tooltip; just one option jedit_popup_bounds for tooltip and completion;
2013-08-27 wenzelm 2013-08-27 explicit "hidden" operation with focus management; explicit popup_font; just one option jedit_popup_font_scale for tooltip and completion;
2013-08-23 wenzelm 2013-08-23 added action isabelle.reset-font-size;
2013-08-05 wenzelm 2013-08-05 query process animation;
2013-07-13 wenzelm 2013-07-13 more rendering for information messages;
2013-07-13 wenzelm 2013-07-13 gutter icon for information messages; avoid redundant Pretty.chunks to keep Markup.information node topmost;
2013-07-13 wenzelm 2013-07-13 more explicit Markup.information for messages produced by "auto" tools;
2013-07-10 wenzelm 2013-07-10 less intrusive token_range rendering, which is relevant for inner parse errors;
2013-06-28 wenzelm 2013-06-28 load icons via options -- prefer IntelliJ IDEA for now;
2013-05-21 wenzelm 2013-05-21 less intrusive rendering of antiquoted text -- avoid visual clash with "blue variables" in particular;
2013-05-18 wenzelm 2013-05-18 explicit notion of public options, which are shown in the editor options dialog; avoid hard-wired stuff;
2013-03-28 wenzelm 2013-03-28 ghost bullet via markup, which is painted as bar under text (normally space);
2013-03-26 wenzelm 2013-03-26 dockable window for timing information;
2013-03-18 wenzelm 2013-03-18 extra tooltip_delay after window.dismiss operation, to avoid flickering of quick reactivation;