| Fri, 23 Dec 2016 11:53:31 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Thu, 22 Dec 2016 11:38:16 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Wed, 21 Dec 2016 23:30:13 +0100 |
wenzelm |
tuned -- use zero-based Line.Position;
|
file |
diff |
annotate
|
| Tue, 20 Dec 2016 10:01:53 +0100 |
wenzelm |
proper counting of chars;
|
file |
diff |
annotate
|
| Tue, 20 Dec 2016 09:52:01 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Thu, 24 Nov 2016 15:21:54 +0100 |
wenzelm |
explicit option editor_generated_input_delay, which is more aggressive by default;
|
file |
diff |
annotate
|
| Wed, 23 Nov 2016 16:15:17 +0100 |
wenzelm |
delay_first for machine generated editor events: avoid starvation, e.g. when operating on big sessions;
|
file |
diff |
annotate
|
| Wed, 27 Jan 2016 14:14:06 +0100 |
wenzelm |
allow single quote within URL;
|
file |
diff |
annotate
|
| Tue, 05 Jan 2016 15:40:25 +0100 |
wenzelm |
fewer use of GUI_Thread.now to reduce danger of deadlock on shutdown;
|
file |
diff |
annotate
|
| Sat, 21 Nov 2015 20:13:52 +0100 |
wenzelm |
double flush to ensure persistent "state" output is reset;
|
file |
diff |
annotate
|
| Fri, 13 Nov 2015 19:59:28 +0100 |
wenzelm |
added antiquotation @{doc}, e.g. useful for demonstration purposes;
|
file |
diff |
annotate
|
| Tue, 03 Nov 2015 14:03:44 +0100 |
wenzelm |
prefer ad-hoc non-worker threads;
|
file |
diff |
annotate
|
| Mon, 02 Nov 2015 16:03:03 +0100 |
wenzelm |
redundant;
|
file |
diff |
annotate
|
| Mon, 24 Aug 2015 00:20:20 +0200 |
wenzelm |
more explicit debugger caret rendering;
|
file |
diff |
annotate
|
| Thu, 20 Aug 2015 19:15:17 +0200 |
wenzelm |
tuned signature, according to ML version;
|
file |
diff |
annotate
|
| Sat, 15 Aug 2015 18:59:31 +0200 |
wenzelm |
more robust access to stable tip version: take all pending edits into account, don't assume model for current buffer;
|
file |
diff |
annotate
|
| Tue, 11 Aug 2015 17:00:16 +0200 |
wenzelm |
support hyperlinks with optional focus change;
|
file |
diff |
annotate
|
| Mon, 10 Aug 2015 14:13:49 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Thu, 08 Jan 2015 20:56:39 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 02 Dec 2014 17:30:53 +0100 |
wenzelm |
added Untyped.method convenience (for *this* class only);
|
file |
diff |
annotate
|
| Sun, 05 Oct 2014 17:58:36 +0200 |
wenzelm |
citation tooltip/hyperlink based on open buffers with .bib files;
|
file |
diff |
annotate
|
| Sun, 10 Aug 2014 13:06:26 +0200 |
wenzelm |
follow link to originating command, to ensure that Simplifier_Trace_Dockable displays its results (via current_command);
|
file |
diff |
annotate
|
| Sat, 09 Aug 2014 11:25:46 +0200 |
wenzelm |
clarified synchronized scope;
|
file |
diff |
annotate
|
| Wed, 23 Jul 2014 13:01:30 +0200 |
wenzelm |
more explicit discrimination of empty nodes -- suppress from Theories panel;
|
file |
diff |
annotate
|
| Wed, 23 Jul 2014 11:19:24 +0200 |
wenzelm |
clarified module name: facilitate alternative GUI frameworks;
|
file |
diff |
annotate
|
| Wed, 23 Jul 2014 11:08:24 +0200 |
wenzelm |
proper change of perspective for removed nodes (stemming from closed buffers);
|
file |
diff |
annotate
|
| Mon, 28 Apr 2014 14:41:49 +0200 |
wenzelm |
mane delayed events outside of Swing thread -- triggers no longer require Swing_Thread.later;
|
file |
diff |
annotate
|
| Fri, 25 Apr 2014 20:21:27 +0200 |
wenzelm |
prefer Isabelle/Scala operations;
|
file |
diff |
annotate
|
| Tue, 22 Apr 2014 23:49:15 +0200 |
wenzelm |
avoid "Adaptation of argument list by inserting ()" -- deprecated in scala-2.11.0;
|
file |
diff |
annotate
|
| Wed, 09 Apr 2014 13:32:34 +0200 |
wenzelm |
avoid confusion about pointless cursor movement with external links;
|
file |
diff |
annotate
|
| Tue, 08 Apr 2014 12:19:33 +0200 |
wenzelm |
more explicit Command.Chunk types, less ooddities;
|
file |
diff |
annotate
|
| Tue, 08 Apr 2014 10:24:42 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 07 Apr 2014 23:02:29 +0200 |
wenzelm |
simplified blob again (amending 1e77ed11f2f7): only store file node name, i.e. the raw editor file name;
|
file |
diff |
annotate
|
| Mon, 07 Apr 2014 21:23:02 +0200 |
wenzelm |
tuned signature -- prefer static type Document.Node.Name;
|
file |
diff |
annotate
|
| Fri, 04 Apr 2014 22:51:22 +0200 |
wenzelm |
support for jEdit Navigator plugin;
|
file |
diff |
annotate
|
| Wed, 02 Apr 2014 20:41:44 +0200 |
wenzelm |
tuned signature -- more explicit iterator terminology;
|
file |
diff |
annotate
|
| Sat, 29 Mar 2014 09:34:51 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Mon, 03 Mar 2014 12:54:12 +0100 |
wenzelm |
tuned signature -- emphasize symbol positions (prover) vs. decoded text offsets (editor);
|
file |
diff |
annotate
|
| Mon, 03 Mar 2014 11:58:07 +0100 |
wenzelm |
clarified path checks: avoid crash of rendering due to spurious errors;
|
file |
diff |
annotate
|
| Mon, 03 Mar 2014 11:37:06 +0100 |
wenzelm |
more precise navigation within open files;
|
file |
diff |
annotate
|
| Mon, 03 Mar 2014 10:59:33 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Mon, 03 Mar 2014 10:41:58 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sat, 01 Mar 2014 15:58:47 +0100 |
wenzelm |
incorporate chunk range that is 1 off end-of-input, for improved error positions (NB: command spans are tight, without trailing whitespace);
|
file |
diff |
annotate
|
| Thu, 27 Feb 2014 14:07:04 +0100 |
wenzelm |
more formal Document.Blobs;
|
file |
diff |
annotate
|
| Thu, 27 Feb 2014 12:37:43 +0100 |
wenzelm |
proper update of text perspective for nodes with changed blobs, which is important to refresh the corresponding command perspective (otherwise it might refer to invalid thy_load commands and cause full execution of the node by the prover);
|
file |
diff |
annotate
|
| Tue, 11 Feb 2014 21:58:31 +0100 |
wenzelm |
maintain multiple command chunks and markup trees: for main chunk and loaded files;
|
file |
diff |
annotate
|
| Mon, 09 Dec 2013 21:32:45 +0100 |
wenzelm |
browse directory hyperlink as well;
|
file |
diff |
annotate
|
| Mon, 09 Dec 2013 12:16:52 +0100 |
wenzelm |
added document antiquotation @{url}, which produces formal markup for LaTeX and PIDE;
|
file |
diff |
annotate
|
| Wed, 20 Nov 2013 16:15:54 +0100 |
wenzelm |
restrict node_required status and Theories panel to actual theories;
|
file |
diff |
annotate
|
| Wed, 20 Nov 2013 12:24:54 +0100 |
wenzelm |
refer to thy_load command of auxiliary file;
|
file |
diff |
annotate
|
| Tue, 19 Nov 2013 20:59:05 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Tue, 19 Nov 2013 20:53:43 +0100 |
wenzelm |
clarified Document.Blobs environment vs. actual edits of auxiliary files;
|
file |
diff |
annotate
|
| Sun, 17 Nov 2013 16:02:06 +0100 |
wenzelm |
centralized management of pending buffer edits;
|
file |
diff |
annotate
|
| Fri, 11 Oct 2013 20:45:21 +0200 |
wenzelm |
clarified Editor.current_command: allow outdated snapshot;
|
file |
diff |
annotate
|
| Tue, 24 Sep 2013 17:13:12 +0200 |
wenzelm |
more tolerant treatment of end-of-buffer -- avoid debatable situations of jEdit buffer boundaries;
|
file |
diff |
annotate
|
| Tue, 24 Sep 2013 16:35:01 +0200 |
wenzelm |
skip ignored commands, similar to former proper_command_at (see d68ea01d5084) -- relevant to Output, Query_Operation etc.;
|
file |
diff |
annotate
|
| Mon, 12 Aug 2013 17:11:27 +0200 |
wenzelm |
manage hyperlinks via PIDE editor interface;
|
file |
diff |
annotate
|
| Mon, 12 Aug 2013 14:53:16 +0200 |
wenzelm |
prefer PIDE editor operations;
|
file |
diff |
annotate
|
| Mon, 12 Aug 2013 14:27:58 +0200 |
wenzelm |
central management of Document.Overlays, independent of Document_Model;
|
file |
diff |
annotate
|
| Mon, 12 Aug 2013 12:06:48 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|