src/Tools/jEdit/etc/options
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;
2013-03-16 wenzelm 2013-03-16 more elementary tooltips via mouse events (imitating parts of javax.swing.ToolTipManager) -- avoid abuse of getToolTipText to produce window as side-effect;
2013-01-31 wenzelm 2013-01-31 some native Mac OS X support, notably quit_handler (important for dialog on unsaved changes);
2012-12-15 wenzelm 2012-12-15 more general handling of graphics configurations, to increase chance of proper positioning of tooltips in multi-screen environment; more tooltip options via Rendering;
2012-12-12 wenzelm 2012-12-12 rendering of selected dialog_result as active_result_color, depending on dynamic command status in output panel, but not static popups etc.;
2012-12-12 wenzelm 2012-12-12 support dialog via document content;
2012-12-10 wenzelm 2012-12-10 generalized notion of active area, where sendback is just one application; some support for graphview via active area;
2012-12-06 wenzelm 2012-12-06 discontinued option jedit_auto_start, which is somewhat pointless as there is no manual session start within Isabelle/jEdit;
2012-11-24 wenzelm 2012-11-24 added option jedit_symbols_search_limit;
2012-10-22 wenzelm 2012-10-22 further attempts to cope with large files via option jedit_text_overview_limit;
2012-10-05 wenzelm 2012-10-05 eliminated obsolete tooltip delay -- bypassed by Pretty_Tooltip;
2012-10-05 wenzelm 2012-10-05 tuned color and font size;
2012-10-04 wenzelm 2012-10-04 refined rich tooltip options; basic tooltips without markup;
2012-10-04 wenzelm 2012-10-04 option to bypass potentially slow text overview;
2012-09-21 wenzelm 2012-09-21 some support for hovering and sendback area;
2012-09-20 wenzelm 2012-09-20 clarified message background;
2012-09-20 wenzelm 2012-09-20 tuned rendering;
2012-09-18 wenzelm 2012-09-18 more explicit message markup and rendering;
2012-09-14 wenzelm 2012-09-14 clarified markup names;
2012-09-14 wenzelm 2012-09-14 tuned options (again);
2012-09-11 wenzelm 2012-09-11 some GUI support for color options;
2012-09-11 wenzelm 2012-09-11 more precise sections;
2012-09-11 wenzelm 2012-09-11 provide color values via options;
2012-09-11 wenzelm 2012-09-11 more options;
2012-09-11 wenzelm 2012-09-11 replaced jedit_relative_font_size by jedit_font_scale;
2012-09-11 wenzelm 2012-09-11 some support to organize options in sections;
2012-09-10 wenzelm 2012-09-10 option jedit_load_delay; tuned;
2012-09-10 wenzelm 2012-09-10 manage Isabelle/jEdit options as Isabelle/Scala options (with persistent preferences);