src/Tools/jEdit/src/isabelle_options.scala
Wed, 27 Mar 2013 16:38:25 +0100 wenzelm more ambitious Goal.skip_proofs: covers Goal.prove forms as well, and do not insist in quick_and_dirty (for the sake of Isabelle/jEdit);
Tue, 26 Mar 2013 11:26:13 +0100 wenzelm dockable window for timing information;
Sat, 16 Mar 2013 21:26:44 +0100 wenzelm more elementary tooltips via mouse events (imitating parts of javax.swing.ToolTipManager) -- avoid abuse of getToolTipText to produce window as side-effect;
Wed, 13 Mar 2013 21:25:08 +0100 wenzelm clarified parallel_subproofs_saturation (blind guess) vs. parallel_subproofs_threshold (precient timing estimate);
Thu, 31 Jan 2013 22:21:05 +0100 wenzelm some native Mac OS X support, notably quit_handler (important for dialog on unsaved changes);
Thu, 03 Jan 2013 14:03:44 +0100 wenzelm always enable Future.ML_statistics where this makes sense -- runtime overhead should be negligible;
Thu, 03 Jan 2013 13:54:45 +0100 wenzelm improved Monitor_Dockable, based on ML_Statistics operations;
Sat, 15 Dec 2012 21:07:52 +0100 wenzelm more general handling of graphics configurations, to increase chance of proper positioning of tooltips in multi-screen environment;
Thu, 13 Dec 2012 19:53:55 +0100 wenzelm smarter handling of tracing messages: prover process pauses and enters user dialog;
Mon, 10 Dec 2012 16:06:57 +0100 wenzelm more generous tracing limit -- rescaled in MB;
Thu, 06 Dec 2012 21:54:43 +0100 wenzelm discontinued option jedit_auto_start, which is somewhat pointless as there is no manual session start within Isabelle/jEdit;
Wed, 28 Nov 2012 17:18:53 +0100 wenzelm some support for ML runtime statistics;
Sun, 25 Nov 2012 20:59:32 +0100 wenzelm renamed main plugin object to PIDE;
Sat, 24 Nov 2012 17:12:06 +0100 wenzelm added option jedit_symbols_search_limit;
Sun, 18 Nov 2012 16:04:13 +0100 wenzelm more generous tracing_limit, with explicit system option;
Sun, 18 Nov 2012 15:28:58 +0100 wenzelm update options via protocol;
Mon, 22 Oct 2012 16:27:55 +0200 wenzelm further attempts to cope with large files via option jedit_text_overview_limit;
Fri, 05 Oct 2012 18:01:48 +0200 wenzelm eliminated obsolete tooltip delay -- bypassed by Pretty_Tooltip;
Thu, 04 Oct 2012 19:31:50 +0200 wenzelm refined rich tooltip options;
Thu, 04 Oct 2012 11:39:24 +0200 wenzelm option to bypass potentially slow text overview;
Sat, 22 Sep 2012 14:41:41 +0200 wenzelm Thy_Syntax.consolidate_spans is subject to editor_reparse_limit, for improved experience of unbalanced comments etc.;
Fri, 14 Sep 2012 12:46:33 +0200 wenzelm tuned options (again);
Fri, 14 Sep 2012 12:29:02 +0200 wenzelm more scalable option-group;
Tue, 11 Sep 2012 23:26:03 +0200 wenzelm some GUI support for color options;
Tue, 11 Sep 2012 19:19:39 +0200 wenzelm more options;
Tue, 11 Sep 2012 16:10:54 +0200 wenzelm replaced jedit_relative_font_size by jedit_font_scale;
Tue, 11 Sep 2012 15:59:35 +0200 wenzelm need to provide label via some jEdit property;
Tue, 11 Sep 2012 15:47:42 +0200 wenzelm some support to organize options in sections;
Mon, 10 Sep 2012 21:17:32 +0200 wenzelm option jedit_load_delay;
Mon, 10 Sep 2012 17:13:17 +0200 wenzelm more systematic JEdit_Options.make_component;
Mon, 10 Sep 2012 15:20:50 +0200 wenzelm manage Isabelle/jEdit options as Isabelle/Scala options (with persistent preferences);
Sun, 04 Sep 2011 15:49:59 +0200 wenzelm property "tooltip-dismiss-delay" is edited in ms, not seconds;
Sun, 07 Aug 2011 23:08:07 +0200 wenzelm workaround for Java 1.7 where javax.swing.JComboBox<E> is generic;
Wed, 08 Jun 2011 17:42:07 +0200 wenzelm moved sources -- eliminated Netbeans artifact of jedit package directory;
less more (0) tip