| Thu, 13 Dec 2012 17:29:23 +0100 |
wenzelm |
more careful handling of Dialog_Result, with active area and color feedback;
|
file |
diff |
annotate
|
| Thu, 13 Dec 2012 13:52:18 +0100 |
wenzelm |
identify dialogs via official serial and maintain as result message;
|
file |
diff |
annotate
|
| Wed, 12 Dec 2012 23:36:07 +0100 |
wenzelm |
rendering of selected dialog_result as active_result_color, depending on dynamic command status in output panel, but not static popups etc.;
|
file |
diff |
annotate
|
| Wed, 12 Dec 2012 21:50:42 +0100 |
wenzelm |
support dialog via document content;
|
file |
diff |
annotate
|
| Sat, 08 Dec 2012 22:19:24 +0100 |
wenzelm |
basic monitor panel, using the powerful jfreechart library;
|
file |
diff |
annotate
|
| Wed, 05 Dec 2012 12:22:55 +0100 |
wenzelm |
tuned signature in accordance to document operations;
|
file |
diff |
annotate
|
| Tue, 04 Dec 2012 15:47:37 +0100 |
wenzelm |
emit bulk edits on initialization of multiple buffers, which greatly improves performance when starting big sessions (e.g. JinjaThreads);
|
file |
diff |
annotate
|
| Wed, 28 Nov 2012 17:18:53 +0100 |
wenzelm |
some support for ML runtime statistics;
|
file |
diff |
annotate
|
| Sun, 25 Nov 2012 19:49:24 +0100 |
wenzelm |
Isabelle-specific implementation of quasi-abstract markup elements -- back to module arrangement before d83797ef0d2d;
|
file |
diff |
annotate
|
| Sun, 18 Nov 2012 15:28:58 +0100 |
wenzelm |
update options via protocol;
|
file |
diff |
annotate
|
| 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.;
|
file |
diff |
annotate
|
| Sat, 22 Sep 2012 14:03:01 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Thu, 20 Sep 2012 19:23:05 +0200 |
wenzelm |
more management of Invoke_Scala tasks;
|
file |
diff |
annotate
|
| Tue, 18 Sep 2012 14:51:12 +0200 |
wenzelm |
some actual rich text markup via XML.content_markup;
|
file |
diff |
annotate
|
| Tue, 11 Sep 2012 20:22:03 +0200 |
wenzelm |
prefer tuning parameters as public methods (again) -- to allow overriding in applications;
|
file |
diff |
annotate
|
| Tue, 11 Sep 2012 19:19:39 +0200 |
wenzelm |
more options;
|
file |
diff |
annotate
|
| Mon, 10 Sep 2012 21:17:32 +0200 |
wenzelm |
option jedit_load_delay;
|
file |
diff |
annotate
|
| Fri, 07 Sep 2012 15:00:03 +0200 |
wenzelm |
postpone update of text overview panel after incoming session edits, to improve reactivity of editing massive theories like src/HOL/Multivariate_Analysis;
|
file |
diff |
annotate
|
| Wed, 29 Aug 2012 17:19:48 +0200 |
wenzelm |
clarified handling of raw output messages;
|
file |
diff |
annotate
|
| Wed, 22 Aug 2012 16:24:52 +0200 |
wenzelm |
clarified global get_recent_syntax: session always has its base_syntax, but it might be absent itself;
|
file |
diff |
annotate
|
| Tue, 21 Aug 2012 12:15:25 +0200 |
wenzelm |
clarified initialization of Thy_Load, Thy_Info, Session;
|
file |
diff |
annotate
|
| Tue, 14 Aug 2012 12:26:02 +0200 |
wenzelm |
check_errors for cumulative session content;
|
file |
diff |
annotate
|
| Tue, 14 Aug 2012 11:37:58 +0200 |
wenzelm |
added jedit option -d;
|
file |
diff |
annotate
|
| Fri, 10 Aug 2012 15:14:45 +0200 |
wenzelm |
apply all text edits to each node, before determining the resulting doc_edits -- allow several iterations to consolidate spans etc.;
|
file |
diff |
annotate
|
| Tue, 07 Aug 2012 20:28:35 +0200 |
wenzelm |
more token markers, based on actual outer syntax;
|
file |
diff |
annotate
|
| Tue, 07 Aug 2012 19:16:58 +0200 |
wenzelm |
simplified process startup phases: INIT suffices for is_ready;
|
file |
diff |
annotate
|
| Tue, 07 Aug 2012 17:08:22 +0200 |
wenzelm |
prefer static Build.session_content for loaded theories -- discontinued incremental protocol;
|
file |
diff |
annotate
|
| Tue, 07 Aug 2012 16:34:15 +0200 |
wenzelm |
prefer static Build.outer_syntax in Isabelle/Scala session -- discontinued incremental protocol;
|
file |
diff |
annotate
|
| Tue, 07 Aug 2012 15:01:48 +0200 |
wenzelm |
simplified Document.Node.Header -- internalized errors;
|
file |
diff |
annotate
|
| Sun, 22 Jul 2012 00:00:22 +0200 |
wenzelm |
determine source dependencies, relatively to preloaded theories;
|
file |
diff |
annotate
|