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
|
Mon, 12 Aug 2013 11:56:12 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Mon, 12 Aug 2013 11:39:29 +0200 |
wenzelm |
tuned signature -- more abstract PIDE editor operations;
|
file |
diff |
annotate
|