src/Tools/jEdit/src/document_model.scala
Thu, 27 Feb 2014 10:38:47 +0100 wenzelm tuned comment;
Wed, 12 Feb 2014 11:28:17 +0100 wenzelm maintain blob edits within history, which is important for Snapshot.convert/revert;
Tue, 11 Feb 2014 21:58:31 +0100 wenzelm maintain multiple command chunks and markup trees: for main chunk and loaded files;
Tue, 11 Feb 2014 17:44:29 +0100 wenzelm common Command.Chunk for command source and auxiliary files (static Symbol.Index without actual String content);
Wed, 20 Nov 2013 16:15:54 +0100 wenzelm restrict node_required status and Theories panel to actual theories;
Wed, 20 Nov 2013 15:53:59 +0100 wenzelm ranges of thy_load commands count as visible within perspective;
Tue, 19 Nov 2013 20:53:43 +0100 wenzelm clarified Document.Blobs environment vs. actual edits of auxiliary files;
Mon, 18 Nov 2013 23:26:15 +0100 wenzelm inline blobs into command, via SHA1 digest;
Mon, 18 Nov 2013 19:56:34 +0100 wenzelm caching of blob;
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 20:24:37 +0100 wenzelm tuned;
Sun, 17 Nov 2013 16:02:06 +0100 wenzelm centralized management of pending buffer edits;
Thu, 14 Nov 2013 17:39:32 +0100 wenzelm tuned imports;
Fri, 11 Oct 2013 20:45:21 +0200 wenzelm clarified Editor.current_command: allow outdated snapshot;
Mon, 12 Aug 2013 14:27:58 +0200 wenzelm central management of Document.Overlays, independent of Document_Model;
Mon, 12 Aug 2013 12:06:48 +0200 wenzelm tuned signature;
Mon, 12 Aug 2013 11:56:12 +0200 wenzelm tuned signature;
Wed, 07 Aug 2013 11:44:17 +0200 wenzelm tuned signature;
Mon, 05 Aug 2013 15:29:10 +0200 wenzelm tuned signature -- more uniform treatment of overlays as command mapping;
Mon, 05 Aug 2013 11:01:17 +0200 wenzelm tuned signature;
Mon, 05 Aug 2013 10:55:46 +0200 wenzelm avoid repeated PIDE.flush_buffers when manipulating overlays;
Fri, 02 Aug 2013 14:26:09 +0200 wenzelm maintain overlays within node perspective;
Wed, 31 Jul 2013 21:13:05 +0200 wenzelm home-grown mouse handling to pretend that the painted checkbox is actually a Swing component;
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);
Wed, 31 Jul 2013 12:14:13 +0200 wenzelm allow explicit indication of required node: full eval, no prints;
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);
Mon, 29 Jul 2013 14:43:21 +0200 wenzelm back to model.update_perspective with delay (cf. a20631db9c8a);
Mon, 29 Jul 2013 12:50:16 +0200 wenzelm support declarative editor_execution_range, instead of old-style check/cancel buttons;
Sun, 16 Dec 2012 18:02:28 +0100 wenzelm tuned property name;
Wed, 05 Dec 2012 12:22:55 +0100 wenzelm tuned signature in accordance to document operations;
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);
Sun, 25 Nov 2012 21:23:20 +0100 wenzelm tuned signature;
Sun, 25 Nov 2012 20:59:32 +0100 wenzelm renamed main plugin object to PIDE;
Mon, 17 Sep 2012 17:56:10 +0200 wenzelm tuned signature;
Mon, 17 Sep 2012 17:49:11 +0200 wenzelm somewhat more general JEdit_Lib;
Fri, 14 Sep 2012 17:37:19 +0200 wenzelm more general Document_Model.point_range;
Tue, 11 Sep 2012 19:19:39 +0200 wenzelm more options;
Fri, 07 Sep 2012 13:58:54 +0200 wenzelm more explicit Delay operations;
Wed, 22 Aug 2012 18:04:30 +0200 wenzelm find files via load commands within theory text;
Wed, 22 Aug 2012 16:10:23 +0200 wenzelm pass syntax through check_thy;
Wed, 22 Aug 2012 15:53:17 +0200 wenzelm use Thy_Header.read on explicit text only -- potentially via File.read, not Scan.byte_reader;
Tue, 07 Aug 2012 15:01:48 +0200 wenzelm simplified Document.Node.Header -- internalized errors;
Sat, 07 Apr 2012 17:55:35 +0200 wenzelm more robust update_perspective, e.g. required after reload of buffer that is not at start position;
Tue, 20 Mar 2012 21:34:42 +0100 wenzelm refined init_model: allow change of buffer name as caused by "Save as", for example;
Wed, 14 Mar 2012 15:37:51 +0100 wenzelm more explicit indication of swing thread context;
Thu, 01 Mar 2012 15:48:03 +0100 wenzelm more robust locking;
Thu, 01 Mar 2012 15:16:20 +0100 wenzelm refined node_header -- more direct buffer access (again);
Thu, 01 Mar 2012 14:12:18 +0100 wenzelm explicitly revoke delay, to avoid spurious timer events after deactivation of related components;
Thu, 01 Mar 2012 11:28:33 +0100 wenzelm clarified document nodes (full import graph) vs. node_status (non-preloaded theories);
Wed, 29 Feb 2012 23:31:35 +0100 wenzelm more defensive node_header;
Wed, 29 Feb 2012 23:09:06 +0100 wenzelm clarified module Thy_Load;
Wed, 07 Sep 2011 11:17:19 +0200 wenzelm added "check" button: adhoc change to full buffer perspective;
Thu, 01 Sep 2011 13:34:45 +0200 wenzelm more abstract Document.Node.Name;
Fri, 26 Aug 2011 15:09:54 +0200 wenzelm refined document state assignment: observe perspective, more explicit assignment message;
Thu, 25 Aug 2011 11:27:37 +0200 wenzelm slightly more abstract Text.Perspective;
Wed, 24 Aug 2011 13:38:07 +0200 wenzelm early filtering of unchanged perspective;
Wed, 24 Aug 2011 13:03:39 +0200 wenzelm update_perspective without actual edits, bypassing the full state assignment protocol;
Tue, 23 Aug 2011 12:20:12 +0200 wenzelm propagate editor perspective through document model;
Mon, 22 Aug 2011 16:12:23 +0200 wenzelm added official Text.Range.Ordering;
Sun, 21 Aug 2011 21:24:42 +0200 wenzelm more robust initialization of token marker and line context wrt. session startup;
less more (0) -60 tip