support both hinted and unhinted fonts;

more markup for various text kinds, notably for nested formal comments;

added option jedit_text_overview for visual appearance (not performance, see also 72216713733a);

more comment markup;

more explicit status for "canceled" command within theory node;

clarified terminology of "markdown_bullet";

indentation of keywords after input;

clarified modules;

clarified modules;

symbolic Rendering.Color;
clarified modules;

resolve dependencies implicitly via File_Model, without jEdit Buffer_Model;

semantic indentation for unstructured proof scripts;

added action "isabelle.newline" (shortcut ENTER);

report class parameters within instantiation;

clarified rendering wrt. hyperlinks;

tuned rendering;

background color for entity def/ref focus;

tuned;

less intrusive rendering, notably for State dockable;

report Markdown document structure;

eliminated pointless jedit_text_overview_limit;

disable jedit_auto_resolve (again) -- too confusing;

clarified undefined_blobs: already loaded theories are suppressed;
enabled jedit_auto_resolve (again): e.g. relevant for debugging when following links through source files;

more explicit debugger caret rendering;

disabled auto resolve, until practical consequences are more clear;

resolve undefined blobs by default, e.g. relevant for ML debugger to avoid reset of breakpoints after reload;

tuned colors;

clarified breakpoint rendering;

tuned rendering;

added action to toggle breakpoints (on editor side);

rendering for debugger/breakpoint active state;

tuned;

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;

explicit message channel for "legacy", which is nonetheless a variant of "warning";

explicit message channels for "state", "information";
separate state_message_color;

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;

proper alt_string markup (cf. 2ceb05ee0331);
more jEdit colors, less PG colors (see bb20fb8a57be);

added option jedit_structure_limit;
tuned signature;

completion popup supports both ENTER and TAB (default);

jedit_completion_immediate is enabled by default: let all users participate in slightly more ambitious symbol insertion;

common support for search field, which is actually a light-weight Highlighter;

tuned;

support for path completion based on file-system content;

yet another completion option, to imitate old less ambitious behavior;

tuned default: melange of all "en" dialects;

tuned;

eliminated somewhat pointless locale parameter;

added dictionaries_selector GUI;
tuned;

NEWS;

more spell_checker_elements;
tuned color;

more general spell_checker_elements;

added spell-checker options;
support for rendering bad words;

immediate completion even with delay, which is the default according to 638b29331549;

more markup for improper elements;

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;

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;

clarified Markup.operator vs. Markup.delimiter;
tuned color;

tuned color (cf. jEdit FUNCTION);

more explicit quasi_keyword markup, for Args.$$$ material, which is somewhere in between of outer and inner syntax;

simplified rendering -- no need to over-emphasize "token_range";

more completion rendering: active, semantic, syntactic;
tuned;

tuned colors;

clarified painting of invisible caret, e.g. focus change due to popup;

more markup;

more uniform ML keyword markup;
tuned;

support for nested text cartouches;
clarified Symbol.is_symbolic: exclude \<open> and \<close>;

added system option "jedit_print_mode";

added jedit_completion_dismiss_delay for hide_popup, which helps to avoid loosing key events on old popup (no change of default behavior);

obsolete (see also 48d13465c7c7);

bypass Isabelle OSX_Adapter for now -- MacOSX plugin 1.3 manages that better;

added option "jedit_auto_load";
allow in-place change of option "editor_continuous_checking";

tuned magic number, for improved reactivity on old 2-core machine;

more robust Mac OS X application support;

tuned;

option to insert unique completion immediately into buffer;

some completion options;

determine completion geometry like tooltip;
just one option jedit_popup_bounds for tooltip and completion;

explicit "hidden" operation with focus management;
explicit popup_font;
just one option jedit_popup_font_scale for tooltip and completion;

added action isabelle.reset-font-size;

query process animation;

more rendering for information messages;

gutter icon for information messages;
avoid redundant Pretty.chunks to keep Markup.information node topmost;

more explicit Markup.information for messages produced by "auto" tools;

less intrusive token_range rendering, which is relevant for inner parse errors;

load icons via options -- prefer IntelliJ IDEA for now;

less intrusive rendering of antiquoted text -- avoid visual clash with "blue variables" in particular;

explicit notion of public options, which are shown in the editor options dialog;
avoid hard-wired stuff;

ghost bullet via markup, which is painted as bar under text (normally space);

dockable window for timing information;

extra tooltip_delay after window.dismiss operation, to avoid flickering of quick reactivation;

more elementary tooltips via mouse events (imitating parts of javax.swing.ToolTipManager) -- avoid abuse of getToolTipText to produce window as side-effect;

some native Mac OS X support, notably quit_handler (important for dialog on unsaved changes);

more general handling of graphics configurations, to increase chance of proper positioning of tooltips in multi-screen environment;
more tooltip options via Rendering;

rendering of selected dialog_result as active_result_color, depending on dynamic command status in output panel, but not static popups etc.;

support dialog via document content;

generalized notion of active area, where sendback is just one application;
some support for graphview via active area;

--HG--
rename : src/Pure/PIDE/sendback.ML => src/Pure/PIDE/active.ML
rename : src/Tools/jEdit/src/sendback.scala => src/Tools/jEdit/src/active.scala

discontinued option jedit_auto_start, which is somewhat pointless as there is no manual session start within Isabelle/jEdit;

added option jedit_symbols_search_limit;

further attempts to cope with large files via option jedit_text_overview_limit;

eliminated obsolete tooltip delay -- bypassed by Pretty_Tooltip;

tuned color and font size;

refined rich tooltip options;
basic tooltips without markup;

option to bypass potentially slow text overview;

some support for hovering and sendback area;

clarified message background;

tuned rendering;

more explicit message markup and rendering;

clarified markup names;

tuned options (again);

some GUI support for color options;

more precise sections;

provide color values via options;

more options;

replaced jedit_relative_font_size by jedit_font_scale;

some support to organize options in sections;

option jedit_load_delay;
tuned;

manage Isabelle/jEdit options as Isabelle/Scala options (with persistent preferences);