src/Tools/jEdit/src/plugin.scala
Tue, 28 Apr 2015 11:48:44 +0200 wenzelm tuned whitespace;
Tue, 28 Apr 2015 11:47:49 +0200 wenzelm avoid auto-load dialog while exit/closeAllBuffers is active: the perspective manager happens to indicate this precisely in jEdit 5.2.0;
Wed, 15 Apr 2015 14:01:28 +0200 wenzelm obsolete (see also 94b2690ad494);
Fri, 13 Mar 2015 21:35:48 +0100 wenzelm tuned signature;
Thu, 08 Jan 2015 20:56:39 +0100 wenzelm tuned;
Tue, 02 Dec 2014 14:16:56 +0100 wenzelm node-specific syntax, with base_syntax as default;
Fri, 07 Nov 2014 16:36:55 +0100 wenzelm plain value Keywords.keywords, which might be used outside theory for bootstrap purposes;
Mon, 18 Aug 2014 13:19:04 +0200 wenzelm merged;
Wed, 13 Aug 2014 20:21:04 +0200 wenzelm added option editor_syslog_limit;
Tue, 12 Aug 2014 12:06:22 +0200 wenzelm separate Java FX modules -- no need to include jfxrt.jar by default;
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;
Fri, 25 Jul 2014 14:15:02 +0200 wenzelm tuned message;
Thu, 24 Jul 2014 15:54:56 +0200 wenzelm further distinction of Isabelle distribution: alert for identified release candidates;
Thu, 24 Jul 2014 11:51:22 +0200 wenzelm reconfirm continuous checking on startup, to address common trap of disabling it accidentally;
Wed, 23 Jul 2014 11:19:24 +0200 wenzelm clarified module name: facilitate alternative GUI frameworks;
Wed, 23 Jul 2014 11:08:24 +0200 wenzelm proper change of perspective for removed nodes (stemming from closed buffers);
Sun, 20 Jul 2014 19:36:46 +0200 wenzelm avoid delay_load overrun;
Fri, 02 May 2014 22:22:51 +0200 wenzelm fork Scala interpreter thread, independently of Swing_Thread;
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;
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;
Mon, 28 Apr 2014 15:29:09 +0200 wenzelm tuned -- fewer aliases of critical operations;
Mon, 28 Apr 2014 14:41:49 +0200 wenzelm mane delayed events outside of Swing thread -- triggers no longer require Swing_Thread.later;
Fri, 25 Apr 2014 12:51:08 +0200 wenzelm clarified Session.Consumer, with Session.Outlet managed by dispatcher thread;
Tue, 22 Apr 2014 23:49:15 +0200 wenzelm avoid "Adaptation of argument list by inserting ()" -- deprecated in scala-2.11.0;
Sun, 13 Apr 2014 16:06:55 +0200 wenzelm tuned signature -- explicit Spell_Checker_Variable;
Sun, 13 Apr 2014 15:34:54 +0200 wenzelm updated to jortho-1.0-1: dictionaries from SCOWL 7.1, with parameters like aspell;
Sat, 12 Apr 2014 20:49:57 +0200 wenzelm added spell-checker options;
Thu, 03 Apr 2014 14:54:17 +0200 wenzelm more general prover operations;
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);
Tue, 18 Mar 2014 17:39:03 +0100 wenzelm clarifed module name;
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;
Thu, 27 Feb 2014 14:15:23 +0100 wenzelm proper document blobs for initial edit, which is relevant for loading auxiliary file buffers;
Thu, 27 Feb 2014 14:07:04 +0100 wenzelm more formal Document.Blobs;
Thu, 27 Feb 2014 10:59:12 +0100 wenzelm tuned iterator;
Mon, 24 Feb 2014 12:23:35 +0100 wenzelm tuned signature -- weaker type requirement;
Thu, 20 Feb 2014 16:08:39 +0100 wenzelm added PIDE.snapshot, PIDE.rendering for convenience;
Thu, 20 Feb 2014 14:36:17 +0100 wenzelm tuned imports;
Fri, 14 Feb 2014 14:51:38 +0100 wenzelm updated thy_info.dependencies;
Tue, 11 Feb 2014 21:58:31 +0100 wenzelm maintain multiple command chunks and markup trees: for main chunk and loaded files;
Fri, 22 Nov 2013 20:54:26 +0100 wenzelm exclude gzipped files from document model, to avoid confusion about actual file name and content;
Wed, 20 Nov 2013 15:00:25 +0100 wenzelm tuned;
Tue, 19 Nov 2013 20:59:05 +0100 wenzelm tuned signature;
Tue, 19 Nov 2013 20:53:43 +0100 wenzelm clarified Document.Blobs environment vs. actual edits of auxiliary files;
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;
Sun, 17 Nov 2013 16:02:06 +0100 wenzelm centralized management of pending buffer edits;
Fri, 11 Oct 2013 22:11:07 +0200 wenzelm obsolete;
Thu, 26 Sep 2013 13:28:26 +0200 wenzelm obsolete (see also 48d13465c7c7);
Wed, 25 Sep 2013 16:05:40 +0200 wenzelm bypass Isabelle OSX_Adapter for now -- MacOSX plugin 1.3 manages that better;
Wed, 18 Sep 2013 20:09:26 +0200 wenzelm added option "jedit_auto_load";
Mon, 09 Sep 2013 16:15:48 +0200 wenzelm more robust Mac OS X application support;
Fri, 30 Aug 2013 23:41:09 +0200 wenzelm simplified (see 7c39677f9ea0);
Fri, 30 Aug 2013 23:38:18 +0200 wenzelm sort items according to persistent history of frequency of use;
Thu, 29 Aug 2013 13:53:45 +0200 wenzelm more uniform configuration of editor modes and token markers;
Thu, 29 Aug 2013 12:38:33 +0200 wenzelm maintain Completion_Popup.Text_Area as client property like Document_View;
Thu, 29 Aug 2013 10:01:59 +0200 wenzelm more abstract Completion_Popup.Text_Area;
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);
Wed, 28 Aug 2013 09:36:05 +0200 wenzelm dismiss popups more uniformly;
Sun, 18 Aug 2013 15:59:48 +0200 wenzelm load_theories if continuous_checking;
Mon, 12 Aug 2013 12:06:48 +0200 wenzelm tuned signature;
Mon, 12 Aug 2013 11:56:12 +0200 wenzelm tuned signature;
less more (0) -100 -60 tip