| Fri, 07 Nov 2014 16:36:55 +0100 |
wenzelm |
plain value Keywords.keywords, which might be used outside theory for bootstrap purposes;
|
file |
diff |
annotate
|
| Mon, 18 Aug 2014 13:19:04 +0200 |
wenzelm |
merged;
|
file |
diff |
annotate
|
| Wed, 13 Aug 2014 20:21:04 +0200 |
wenzelm |
added option editor_syslog_limit;
|
file |
diff |
annotate
|
| Tue, 12 Aug 2014 12:06:22 +0200 |
wenzelm |
separate Java FX modules -- no need to include jfxrt.jar by default;
|
file |
diff |
annotate
|
| Tue, 05 Aug 2014 20:40:35 +0200 |
wenzelm |
added system option editor_output_delay: lower value might help big sessions under low-memory situations;
|
file |
diff |
annotate
|
| Fri, 25 Jul 2014 14:15:02 +0200 |
wenzelm |
tuned message;
|
file |
diff |
annotate
|
| Thu, 24 Jul 2014 15:54:56 +0200 |
wenzelm |
further distinction of Isabelle distribution: alert for identified release candidates;
|
file |
diff |
annotate
|
| Thu, 24 Jul 2014 11:51:22 +0200 |
wenzelm |
reconfirm continuous checking on startup, to address common trap of disabling it accidentally;
|
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
|
| Sun, 20 Jul 2014 19:36:46 +0200 |
wenzelm |
avoid delay_load overrun;
|
file |
diff |
annotate
|
| Fri, 02 May 2014 22:22:51 +0200 |
wenzelm |
fork Scala interpreter thread, independently of Swing_Thread;
|
file |
diff |
annotate
|
| Wed, 30 Apr 2014 22:34:11 +0200 |
wenzelm |
some support for session-qualified theories: allow to refer to resources via qualified name instead of odd file-system path;
|
file |
diff |
annotate
|
| Mon, 28 Apr 2014 16:17:07 +0200 |
wenzelm |
improved syslog performance -- avoid denial-of-service e.g. with threads_trace = 5 and active Syslog dockable;
|
file |
diff |
annotate
|
| Mon, 28 Apr 2014 15:29:09 +0200 |
wenzelm |
tuned -- fewer aliases of critical operations;
|
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 12:51:08 +0200 |
wenzelm |
clarified Session.Consumer, with Session.Outlet managed by dispatcher thread;
|
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
|
| Sun, 13 Apr 2014 16:06:55 +0200 |
wenzelm |
tuned signature -- explicit Spell_Checker_Variable;
|
file |
diff |
annotate
|
| Sun, 13 Apr 2014 15:34:54 +0200 |
wenzelm |
updated to jortho-1.0-1: dictionaries from SCOWL 7.1, with parameters like aspell;
|
file |
diff |
annotate
|
| Sat, 12 Apr 2014 20:49:57 +0200 |
wenzelm |
added spell-checker options;
|
file |
diff |
annotate
|
| Thu, 03 Apr 2014 14:54:17 +0200 |
wenzelm |
more general prover operations;
|
file |
diff |
annotate
|
| Sat, 29 Mar 2014 10:49:32 +0100 |
wenzelm |
propagate deps_changed, to resolve missing files without requiring jEdit events (e.g. buffer load/save);
|
file |
diff |
annotate
|
| Tue, 18 Mar 2014 17:39:03 +0100 |
wenzelm |
clarifed module name;
|
file |
diff |
annotate
|
| Thu, 27 Feb 2014 21:02:09 +0100 |
wenzelm |
clarified init_models: simultaneous initialization of all document models, before flushing edits by regular means (via PIDE.editor.invoke) -- important for consolidated doc_blobs when determining initial edits;
|
file |
diff |
annotate
|
| Thu, 27 Feb 2014 14:15:23 +0100 |
wenzelm |
proper document blobs for initial edit, which is relevant for loading auxiliary file buffers;
|
file |
diff |
annotate
|
| Thu, 27 Feb 2014 14:07:04 +0100 |
wenzelm |
more formal Document.Blobs;
|
file |
diff |
annotate
|
| Thu, 27 Feb 2014 10:59:12 +0100 |
wenzelm |
tuned iterator;
|
file |
diff |
annotate
|
| Mon, 24 Feb 2014 12:23:35 +0100 |
wenzelm |
tuned signature -- weaker type requirement;
|
file |
diff |
annotate
|
| Thu, 20 Feb 2014 16:08:39 +0100 |
wenzelm |
added PIDE.snapshot, PIDE.rendering for convenience;
|
file |
diff |
annotate
|
| Thu, 20 Feb 2014 14:36:17 +0100 |
wenzelm |
tuned imports;
|
file |
diff |
annotate
|
| Fri, 14 Feb 2014 14:51:38 +0100 |
wenzelm |
updated thy_info.dependencies;
|
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
|
| Fri, 22 Nov 2013 20:54:26 +0100 |
wenzelm |
exclude gzipped files from document model, to avoid confusion about actual file name and content;
|
file |
diff |
annotate
|
| Wed, 20 Nov 2013 15:00:25 +0100 |
wenzelm |
tuned;
|
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
|
| Mon, 18 Nov 2013 17:16:56 +0100 |
wenzelm |
maintain document model for all files, with document view for theory only, and special blob for non-theory 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 22:11:07 +0200 |
wenzelm |
obsolete;
|
file |
diff |
annotate
|
| Thu, 26 Sep 2013 13:28:26 +0200 |
wenzelm |
obsolete (see also 48d13465c7c7);
|
file |
diff |
annotate
|
| Wed, 25 Sep 2013 16:05:40 +0200 |
wenzelm |
bypass Isabelle OSX_Adapter for now -- MacOSX plugin 1.3 manages that better;
|
file |
diff |
annotate
|
| Wed, 18 Sep 2013 20:09:26 +0200 |
wenzelm |
added option "jedit_auto_load";
|
file |
diff |
annotate
|
| Mon, 09 Sep 2013 16:15:48 +0200 |
wenzelm |
more robust Mac OS X application support;
|
file |
diff |
annotate
|
| Fri, 30 Aug 2013 23:41:09 +0200 |
wenzelm |
simplified (see 7c39677f9ea0);
|
file |
diff |
annotate
|
| Fri, 30 Aug 2013 23:38:18 +0200 |
wenzelm |
sort items according to persistent history of frequency of use;
|
file |
diff |
annotate
|
| Thu, 29 Aug 2013 13:53:45 +0200 |
wenzelm |
more uniform configuration of editor modes and token markers;
|
file |
diff |
annotate
|
| Thu, 29 Aug 2013 12:38:33 +0200 |
wenzelm |
maintain Completion_Popup.Text_Area as client property like Document_View;
|
file |
diff |
annotate
|
| Thu, 29 Aug 2013 10:01:59 +0200 |
wenzelm |
more abstract Completion_Popup.Text_Area;
|
file |
diff |
annotate
|
| Wed, 28 Aug 2013 15:14:58 +0200 |
wenzelm |
more elementary Popup via JLayeredPane -- avoid javax.swing.PopupFactory with its many problems and dangers of accidental HeavyWeightPopup (especially on Mac OS X);
|
file |
diff |
annotate
|
| Wed, 28 Aug 2013 09:36:05 +0200 |
wenzelm |
dismiss popups more uniformly;
|
file |
diff |
annotate
|
| Sun, 18 Aug 2013 15:59:48 +0200 |
wenzelm |
load_theories if continuous_checking;
|
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
|
| Tue, 06 Aug 2013 21:08:04 +0200 |
wenzelm |
more explicit status for query operation;
|
file |
diff |
annotate
|
| Mon, 05 Aug 2013 21:23:06 +0200 |
wenzelm |
more central Pretty_Tooltip.dismissed_all -- avoid spurious crash of Rich_Text_Area.robust_body in asynchronous mouse_motion_listener;
|
file |
diff |
annotate
|
| Wed, 31 Jul 2013 21:13:05 +0200 |
wenzelm |
home-grown mouse handling to pretend that the painted checkbox is actually a Swing component;
|
file |
diff |
annotate
|
| Wed, 31 Jul 2013 19:59:14 +0200 |
wenzelm |
actions and shortcuts to change node_required status, with painter that looks like CheckBox (non-clickable);
|
file |
diff |
annotate
|
| Wed, 31 Jul 2013 10:54:37 +0200 |
wenzelm |
simplified flag for continuous checking: avoid GUI complexity and slow checking of all theories (including prints);
|
file |
diff |
annotate
|