src/Tools/jEdit/src/document_model.scala
2012-12-16 wenzelm 2012-12-16 tuned property name;
2012-12-05 wenzelm 2012-12-05 tuned signature in accordance to document operations;
2012-12-04 wenzelm 2012-12-04 emit bulk edits on initialization of multiple buffers, which greatly improves performance when starting big sessions (e.g. JinjaThreads);
2012-11-25 wenzelm 2012-11-25 tuned signature;
2012-11-25 wenzelm 2012-11-25 renamed main plugin object to PIDE;
2012-09-17 wenzelm 2012-09-17 tuned signature;
2012-09-17 wenzelm 2012-09-17 somewhat more general JEdit_Lib; tuned signatures;
2012-09-14 wenzelm 2012-09-14 more general Document_Model.point_range; more general Document_View.Active_Area; eliminated dead popup material;
2012-09-11 wenzelm 2012-09-11 more options;
2012-09-07 wenzelm 2012-09-07 more explicit Delay operations;
2012-08-22 wenzelm 2012-08-22 find files via load commands within theory text; clarified Thy_Load.with_thy_text, simplified Thy_Load.check_thy;
2012-08-22 wenzelm 2012-08-22 pass syntax through check_thy;
2012-08-22 wenzelm 2012-08-22 use Thy_Header.read on explicit text only -- potentially via File.read, not Scan.byte_reader; tuned signatures;
2012-08-07 wenzelm 2012-08-07 simplified Document.Node.Header -- internalized errors;
2012-04-07 wenzelm 2012-04-07 more robust update_perspective, e.g. required after reload of buffer that is not at start position;
2012-03-20 wenzelm 2012-03-20 refined init_model: allow change of buffer name as caused by "Save as", for example; avoid init_model while buffer.isLoading -- potentially prevent NPE of getText; avoid emitting nested buffer.propertiesChanged events;
2012-03-14 wenzelm 2012-03-14 more explicit indication of swing thread context;
2012-03-01 wenzelm 2012-03-01 more robust locking;
2012-03-01 wenzelm 2012-03-01 refined node_header -- more direct buffer access (again);
2012-03-01 wenzelm 2012-03-01 explicitly revoke delay, to avoid spurious timer events after deactivation of related components;
2012-03-01 wenzelm 2012-03-01 clarified document nodes (full import graph) vs. node_status (non-preloaded theories); tuned;
2012-02-29 wenzelm 2012-02-29 more defensive node_header;
2012-02-29 wenzelm 2012-02-29 clarified module Thy_Load; more precise graph based on Document.Node.Deps with actual Node.Name dependencies;
2011-09-07 wenzelm 2011-09-07 added "check" button: adhoc change to full buffer perspective;
2011-09-01 wenzelm 2011-09-01 more abstract Document.Node.Name; tuned signature;
2011-08-26 wenzelm 2011-08-26 refined document state assignment: observe perspective, more explicit assignment message; misc tuning and clarification;
2011-08-25 wenzelm 2011-08-25 slightly more abstract Text.Perspective;
2011-08-24 wenzelm 2011-08-24 early filtering of unchanged perspective;
2011-08-24 wenzelm 2011-08-24 update_perspective without actual edits, bypassing the full state assignment protocol; edit_nodes/Perspective: do not touch_descendants here; propagate editor scroll events via update_perspective; misc tuning;
2011-08-23 wenzelm 2011-08-23 propagate editor perspective through document model;
2011-08-22 wenzelm 2011-08-22 added official Text.Range.Ordering; some support for text perspective;
2011-08-21 wenzelm 2011-08-21 more robust initialization of token marker and line context wrt. session startup;
2011-08-13 wenzelm 2011-08-13 clarified node header -- exclude master_dir;
2011-08-12 wenzelm 2011-08-12 clarified document model header: master_dir (native wrt. editor, potentially URL) and node_name (full canonical path);
2011-07-10 wenzelm 2011-07-10 propagate header changes to prover process; simplified Document case classes; Document.State.assignments: indexed by Version_ID;
2011-07-09 wenzelm 2011-07-09 clarified propagation of node name and header;
2011-07-09 wenzelm 2011-07-09 some support for blobs (arbitrary text files) within document nodes;
2011-07-07 wenzelm 2011-07-07 explicit Document.Node.Header, with master_dir and thy_name; imitate ML path operations more closely;
2011-07-04 wenzelm 2011-07-04 quasi-static Isabelle_System -- reduced tendency towards "functorial style";
2011-07-03 wenzelm 2011-07-03 more explicit edit_node vs. init_node; some support for master_dir and header;
2011-07-02 wenzelm 2011-07-02 tuned signature;
2011-06-22 wenzelm 2011-06-22 clarified init/exit procedure;
2011-06-18 wenzelm 2011-06-18 avoid setTokenMarker fluctuation on buffer reload etc. via static isabelle_token_marker, which is installed by hijacking the jEdit ModeProvider;
2011-06-16 wenzelm 2011-06-16 static token markup, based on outer syntax only; eliminated obsolete buffer.propertiesChanged (expensive due to remarking of full buffer etc.);
2011-06-15 wenzelm 2011-06-15 more robust init;
2011-06-15 wenzelm 2011-06-15 more elaborate syntax styles;
2011-06-14 wenzelm 2011-06-14 builtin sub/superscript styles for jedit-4.3.2;
2011-06-08 wenzelm 2011-06-08 moved sources -- eliminated Netbeans artifact of jedit package directory;