src/Tools/jEdit/src/plugin.scala
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;
2013-08-12 wenzelm 2013-08-12 tuned signature -- more abstract PIDE editor operations;
2013-08-06 wenzelm 2013-08-06 more explicit status for query operation; avoid output with outdated snapshot; animation rate according to status; added PIDE.document_snapshot convenience -- independent of availability of physical buffer;
2013-08-05 wenzelm 2013-08-05 more central Pretty_Tooltip.dismissed_all -- avoid spurious crash of Rich_Text_Area.robust_body in asynchronous mouse_motion_listener;
2013-07-31 wenzelm 2013-07-31 home-grown mouse handling to pretend that the painted checkbox is actually a Swing component; tuned signature;
2013-07-31 wenzelm 2013-07-31 actions and shortcuts to change node_required status, with painter that looks like CheckBox (non-clickable); just one module for Isabelle/jEdit actions;
2013-07-31 wenzelm 2013-07-31 simplified flag for continuous checking: avoid GUI complexity and slow checking of all theories (including prints);
2013-07-29 wenzelm 2013-07-29 updated key bindings to execution range;
2013-07-29 wenzelm 2013-07-29 tuned;
2013-07-29 wenzelm 2013-07-29 tuned;
2013-07-29 wenzelm 2013-07-29 support declarative editor_execution_range, instead of old-style check/cancel buttons;
2013-05-20 wenzelm 2013-05-20 more explicit Session.update_options as source of Global_Options event;
2013-04-04 wenzelm 2013-04-04 tuned signature -- concentrate GUI tools;
2013-04-04 wenzelm 2013-04-04 separate module Isabelle_Font, to keep this out of the way of generic Isabelle_System operations, notably for non-Isabelle/jEdit applications;
2013-02-27 wenzelm 2013-02-27 discontinued obsolete header "files" -- these are loaded explicitly after exploring dependencies;