| #
da3518ff |
|
20-Aug-2017 |
wenzelm <none@none> |
proper update of options (amending c3d6dd17d626);
|
| #
b31d5968 |
|
14-Mar-2017 |
wenzelm <none@none> |
more explicit options;
tuned signature;
|
| #
2c79abce |
|
07-Mar-2017 |
wenzelm <none@none> |
clarified modules: spell-checker in Pure;
--HG--
rename : src/Tools/jEdit/src/spell_checker.scala => src/Tools/jEdit/src/jedit_spell_checker.scala
|
| #
d98ef121 |
|
13-Apr-2016 |
wenzelm <none@none> |
clarified modules;
--HG--
rename : src/Tools/jEdit/src/isabelle_logic.scala => src/Tools/jEdit/src/jedit_sessions.scala
|
| #
7908f989 |
|
08-Jan-2015 |
wenzelm <none@none> |
tuned;
|
| #
d5156178 |
|
13-Apr-2014 |
wenzelm <none@none> |
added dictionaries_selector GUI;
tuned;
|
| #
99769c6c |
|
17-May-2013 |
wenzelm <none@none> |
explicit notion of public options, which are shown in the editor options dialog;
avoid hard-wired stuff;
|
| #
688e0813 |
|
27-Mar-2013 |
wenzelm <none@none> |
separate option editor_skip_proofs, to avoid accidental change of preferences for skip_proofs, which would invalidate batch builds;
|
| #
6c1c54c1 |
|
27-Mar-2013 |
wenzelm <none@none> |
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);
|
| #
46957350 |
|
26-Mar-2013 |
wenzelm <none@none> |
dockable window for timing information;
|
| #
fe021956 |
|
16-Mar-2013 |
wenzelm <none@none> |
more elementary tooltips via mouse events (imitating parts of javax.swing.ToolTipManager) -- avoid abuse of getToolTipText to produce window as side-effect;
|
| #
a51e1a99 |
|
13-Mar-2013 |
wenzelm <none@none> |
clarified parallel_subproofs_saturation (blind guess) vs. parallel_subproofs_threshold (precient timing estimate);
clarified unknown timing vs. zero timing;
tuned;
|
| #
875c811b |
|
31-Jan-2013 |
wenzelm <none@none> |
some native Mac OS X support, notably quit_handler (important for dialog on unsaved changes);
|
| #
e2c5ec93 |
|
03-Jan-2013 |
wenzelm <none@none> |
always enable Future.ML_statistics where this makes sense -- runtime overhead should be negligible;
|
| #
14e8822e |
|
03-Jan-2013 |
wenzelm <none@none> |
improved Monitor_Dockable, based on ML_Statistics operations;
tuned signature;
|
| #
6cd18694 |
|
15-Dec-2012 |
wenzelm <none@none> |
more general handling of graphics configurations, to increase chance of proper positioning of tooltips in multi-screen environment;
more tooltip options via Rendering;
|
| #
88af9b65 |
|
13-Dec-2012 |
wenzelm <none@none> |
smarter handling of tracing messages: prover process pauses and enters user dialog;
|
| #
3d15fd72 |
|
10-Dec-2012 |
wenzelm <none@none> |
more generous tracing limit -- rescaled in MB;
|
| #
a820d8f1 |
|
06-Dec-2012 |
wenzelm <none@none> |
discontinued option jedit_auto_start, which is somewhat pointless as there is no manual session start within Isabelle/jEdit;
|
| #
4af3fd10 |
|
28-Nov-2012 |
wenzelm <none@none> |
some support for ML runtime statistics;
|
| #
4e5cfda1 |
|
25-Nov-2012 |
wenzelm <none@none> |
renamed main plugin object to PIDE;
|
| #
13afecfc |
|
24-Nov-2012 |
wenzelm <none@none> |
added option jedit_symbols_search_limit;
|
| #
fcad59c7 |
|
18-Nov-2012 |
wenzelm <none@none> |
more generous tracing_limit, with explicit system option;
|
| #
3fca906d |
|
18-Nov-2012 |
wenzelm <none@none> |
update options via protocol;
jEdit dialog for "Parallel Checking" options;
|
| #
6dd91a2c |
|
22-Oct-2012 |
wenzelm <none@none> |
further attempts to cope with large files via option jedit_text_overview_limit;
|
| #
e4137eb8 |
|
05-Oct-2012 |
wenzelm <none@none> |
eliminated obsolete tooltip delay -- bypassed by Pretty_Tooltip;
|
| #
87c37759 |
|
04-Oct-2012 |
wenzelm <none@none> |
refined rich tooltip options;
basic tooltips without markup;
|
| #
dcbd9d90 |
|
04-Oct-2012 |
wenzelm <none@none> |
option to bypass potentially slow text overview;
|
| #
6e03a43d |
|
22-Sep-2012 |
wenzelm <none@none> |
Thy_Syntax.consolidate_spans is subject to editor_reparse_limit, for improved experience of unbalanced comments etc.;
|
| #
d432ccc4 |
|
13-Sep-2012 |
wenzelm <none@none> |
tuned options (again);
|
| #
77010dab |
|
13-Sep-2012 |
wenzelm <none@none> |
more scalable option-group;
|
| #
be2eaf49 |
|
11-Sep-2012 |
wenzelm <none@none> |
some GUI support for color options;
|
| #
81d8061a |
|
11-Sep-2012 |
wenzelm <none@none> |
more options;
|
| #
949cf4a1 |
|
11-Sep-2012 |
wenzelm <none@none> |
replaced jedit_relative_font_size by jedit_font_scale;
|
| #
56307323 |
|
11-Sep-2012 |
wenzelm <none@none> |
need to provide label via some jEdit property;
|
| #
c070d816 |
|
11-Sep-2012 |
wenzelm <none@none> |
some support to organize options in sections;
|
| #
b146a30b |
|
10-Sep-2012 |
wenzelm <none@none> |
option jedit_load_delay;
tuned;
|
| #
8012384e |
|
10-Sep-2012 |
wenzelm <none@none> |
more systematic JEdit_Options.make_component;
separate module Isabelle_Logic;
|
| #
2154bc55 |
|
10-Sep-2012 |
wenzelm <none@none> |
manage Isabelle/jEdit options as Isabelle/Scala options (with persistent preferences);
|
| #
71a039bb |
|
04-Sep-2011 |
wenzelm <none@none> |
property "tooltip-dismiss-delay" is edited in ms, not seconds;
explicit tooltip_dismiss_delay boundaries for further robustness;
|
| #
fcd2ba2a |
|
07-Aug-2011 |
wenzelm <none@none> |
workaround for Java 1.7 where javax.swing.JComboBox<E> is generic;
|
| #
3ccda455 |
|
08-Jun-2011 |
wenzelm <none@none> |
moved sources -- eliminated Netbeans artifact of jedit package directory;
--HG--
rename : src/Tools/jEdit/src/jedit/dockable.scala => src/Tools/jEdit/src/dockable.scala
rename : src/Tools/jEdit/src/jedit/document_model.scala => src/Tools/jEdit/src/document_model.scala
rename : src/Tools/jEdit/src/jedit/document_view.scala => src/Tools/jEdit/src/document_view.scala
rename : src/Tools/jEdit/src/jedit/html_panel.scala => src/Tools/jEdit/src/html_panel.scala
rename : src/Tools/jEdit/src/jedit/isabelle_encoding.scala => src/Tools/jEdit/src/isabelle_encoding.scala
rename : src/Tools/jEdit/src/jedit/isabelle_hyperlinks.scala => src/Tools/jEdit/src/isabelle_hyperlinks.scala
rename : src/Tools/jEdit/src/jedit/isabelle_markup.scala => src/Tools/jEdit/src/isabelle_markup.scala
rename : src/Tools/jEdit/src/jedit/isabelle_options.scala => src/Tools/jEdit/src/isabelle_options.scala
rename : src/Tools/jEdit/src/jedit/isabelle_sidekick.scala => src/Tools/jEdit/src/isabelle_sidekick.scala
rename : src/Tools/jEdit/src/jedit/output_dockable.scala => src/Tools/jEdit/src/output_dockable.scala
rename : src/Tools/jEdit/src/jedit/plugin.scala => src/Tools/jEdit/src/plugin.scala
rename : src/Tools/jEdit/src/jedit/protocol_dockable.scala => src/Tools/jEdit/src/protocol_dockable.scala
rename : src/Tools/jEdit/src/jedit/raw_output_dockable.scala => src/Tools/jEdit/src/raw_output_dockable.scala
rename : src/Tools/jEdit/src/jedit/scala_console.scala => src/Tools/jEdit/src/scala_console.scala
rename : src/Tools/jEdit/src/jedit/session_dockable.scala => src/Tools/jEdit/src/session_dockable.scala
|