2015-04-28 wenzelm 2015-04-28 tuned whitespace;
2015-04-28 wenzelm 2015-04-28 avoid auto-load dialog while exit/closeAllBuffers is active: the perspective manager happens to indicate this precisely in jEdit 5.2.0;
2015-04-15 wenzelm 2015-04-15 obsolete (see also 94b2690ad494);
2015-03-13 wenzelm 2015-03-13 tuned signature; minimal I/O on GUI thread should be OK;
2015-01-08 wenzelm 2015-01-08 tuned;
2014-12-02 wenzelm 2014-12-02 node-specific syntax, with base_syntax as default; clarified Document_Model.init: convergence of editor events towards buffer-specific token marker;
2014-11-07 wenzelm 2014-11-07 plain value Keywords.keywords, which might be used outside theory for bootstrap purposes; plain value Outer_Syntax within theory: parsing requires current theory context; clarified name of Keyword.is_literal according to its semantics; eliminated pointless type Keyword.T; simplified @{command_spec}; clarified bootstrap keywords and syntax: take it as basis instead of side-branch;
2014-08-18 wenzelm 2014-08-18 merged;
2014-08-13 wenzelm 2014-08-13 added option editor_syslog_limit;
2014-08-12 wenzelm 2014-08-12 separate Java FX modules -- no need to include jfxrt.jar by default;
2014-08-05 wenzelm 2014-08-05 added system option editor_output_delay: lower value might help big sessions under low-memory situations;
2014-07-25 wenzelm 2014-07-25 tuned message;
2014-07-24 wenzelm 2014-07-24 further distinction of Isabelle distribution: alert for identified release candidates;
2014-07-24 wenzelm 2014-07-24 reconfirm continuous checking on startup, to address common trap of disabling it accidentally;
2014-07-23 wenzelm 2014-07-23 clarified module name: facilitate alternative GUI frameworks;
2014-07-23 wenzelm 2014-07-23 proper change of perspective for removed nodes (stemming from closed buffers);
2014-07-20 wenzelm 2014-07-20 avoid delay_load overrun;
2014-05-02 wenzelm 2014-05-02 fork Scala interpreter thread, independently of Swing_Thread;
2014-04-30 wenzelm 2014-04-30 some support for session-qualified theories: allow to refer to resources via qualified name instead of odd file-system path;
2014-04-28 wenzelm 2014-04-28 improved syslog performance -- avoid denial-of-service e.g. with threads_trace = 5 and active Syslog dockable;
2014-04-28 wenzelm 2014-04-28 tuned -- fewer aliases of critical operations;
2014-04-28 wenzelm 2014-04-28 mane delayed events outside of Swing thread -- triggers no longer require Swing_Thread.later;
2014-04-25 wenzelm 2014-04-25 clarified Session.Consumer, with Session.Outlet managed by dispatcher thread; eliminated old actors;
2014-04-22 wenzelm 2014-04-22 avoid "Adaptation of argument list by inserting ()" -- deprecated in scala-2.11.0;
2014-04-13 wenzelm 2014-04-13 tuned signature -- explicit Spell_Checker_Variable;
2014-04-13 wenzelm 2014-04-13 updated to jortho-1.0-1: dictionaries from SCOWL 7.1, with parameters like aspell; simplified dictionary file format; tuned signature;
2014-04-12 wenzelm 2014-04-12 added spell-checker options; support for rendering bad words;
2014-04-03 wenzelm 2014-04-03 more general prover operations;
2014-03-29 wenzelm 2014-03-29 propagate deps_changed, to resolve missing files without requiring jEdit events (e.g. buffer load/save); tuned signature;
2014-03-18 wenzelm 2014-03-18 clarifed module name;
2014-02-27 wenzelm 2014-02-27 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; clarified asynchronous event propagation: determine buffers where they are actually accessed; tuned signature;
2014-02-27 wenzelm 2014-02-27 proper document blobs for initial edit, which is relevant for loading auxiliary file buffers;
2014-02-27 wenzelm 2014-02-27 more formal Document.Blobs; removed junk;
2014-02-27 wenzelm 2014-02-27 tuned iterator;
2014-02-24 wenzelm 2014-02-24 tuned signature -- weaker type requirement;
2014-02-20 wenzelm 2014-02-20 added PIDE.snapshot, PIDE.rendering for convenience;
2014-02-20 wenzelm 2014-02-20 tuned imports;
2014-02-14 wenzelm 2014-02-14 updated thy_info.dependencies;
2014-02-11 wenzelm 2014-02-11 maintain multiple command chunks and markup trees: for main chunk and loaded files; document view for all text areas, including auxiliary files;
2013-11-22 wenzelm 2013-11-22 exclude gzipped files from document model, to avoid confusion about actual file name and content;
2013-11-20 wenzelm 2013-11-20 tuned;
2013-11-19 wenzelm 2013-11-19 tuned signature;
2013-11-19 wenzelm 2013-11-19 clarified Document.Blobs environment vs. actual edits of auxiliary files; more robust handling of vacuous edits;
2013-11-18 wenzelm 2013-11-18 maintain document model for all files, with document view for theory only, and special blob for non-theory files;
2013-11-17 wenzelm 2013-11-17 centralized management of pending buffer edits;
2013-10-11 wenzelm 2013-10-11 obsolete;
2013-09-26 wenzelm 2013-09-26 obsolete (see also 48d13465c7c7);
2013-09-25 wenzelm 2013-09-25 bypass Isabelle OSX_Adapter for now -- MacOSX plugin 1.3 manages that better;
2013-09-18 wenzelm 2013-09-18 added option "jedit_auto_load"; allow in-place change of option "editor_continuous_checking";
2013-09-09 wenzelm 2013-09-09 more robust Mac OS X application support;
2013-08-30 wenzelm 2013-08-30 simplified (see 7c39677f9ea0);
2013-08-30 wenzelm 2013-08-30 sort items according to persistent history of frequency of use;
2013-08-29 wenzelm 2013-08-29 more uniform configuration of editor modes and token markers;
2013-08-29 wenzelm 2013-08-29 maintain Completion_Popup.Text_Area as client property like Document_View; global Completion_Popup.Text_Area init/exit like SideKickPlugin; eliminated old SideKick completion -- cover all Isabelle modes uniformly; dynamic lookup of Isabelle.mode_syntax -- NB: buffer mode might be undefined in intermediate stages;
2013-08-29 wenzelm 2013-08-29 more abstract Completion_Popup.Text_Area; more uniform font size;
2013-08-28 wenzelm 2013-08-28 more elementary Popup via JLayeredPane -- avoid javax.swing.PopupFactory with its many problems and dangers of accidental HeavyWeightPopup (especially on Mac OS X); observe !evt.isConsumed semantically: no initial dismiss here (e.g. due to cursor keys);
2013-08-28 wenzelm 2013-08-28 dismiss popups more uniformly;
2013-08-18 wenzelm 2013-08-18 load_theories if continuous_checking;
2013-08-12 wenzelm 2013-08-12 tuned signature;
2013-08-12 wenzelm 2013-08-12 tuned signature;