src/Tools/jEdit/src/plugin.scala
2017-01-09 wenzelm 2017-01-09 tuned signature;
2017-01-08 wenzelm 2017-01-08 tuned signature;
2017-01-08 wenzelm 2017-01-08 avoid immediate editor.flush on buffer events;
2017-01-08 wenzelm 2017-01-08 resolve dependencies implicitly via File_Model, without jEdit Buffer_Model;
2017-01-07 wenzelm 2017-01-07 clarified buffer events: exit model while loading; misc tuning;
2017-01-07 wenzelm 2017-01-07 separate Buffer_Model vs. File_Model; misc tuning and clarification;
2017-01-06 wenzelm 2017-01-06 manage buffer models as explicit global state; tuned signature;
2016-12-20 wenzelm 2016-12-20 clarified module name;
2016-12-18 wenzelm 2016-12-18 added isabelle jedit -R; errors in session_info/session_content are ignored and deferred to later checks of Build.build;
2016-11-24 wenzelm 2016-11-24 explicit option editor_generated_input_delay, which is more aggressive by default;
2016-11-23 wenzelm 2016-11-23 delay_first for machine generated editor events: avoid starvation, e.g. when operating on big sessions;
2016-11-10 wenzelm 2016-11-10 more robust jedit_auto_resolve: avoid losing events deps_changed() / delay_load.invoke();
2016-09-01 wenzelm 2016-09-01 tuned GUI: modal dialog last;
2016-09-01 wenzelm 2016-09-01 separate action; tuned message;
2016-09-01 wenzelm 2016-09-01 check keymap changes on startup;
2016-04-14 wenzelm 2016-04-14 clarified modules;
2016-04-08 wenzelm 2016-04-08 backout 930a30c1a9af: leads to odd effect of command-line options becoming persistent preferences;
2016-04-08 wenzelm 2016-04-08 option "-o" for "isabelle jedit";
2016-02-04 wenzelm 2016-02-04 re-init document views for the sake of Text_Overview size;
2016-01-21 wenzelm 2016-01-21 report error on internal channel as well: startup_failure dialog may be too late;
2016-01-21 wenzelm 2016-01-21 clarified errors: more explicit treatment of uninitialized state;
2016-01-05 wenzelm 2016-01-05 more robust event propagation;
2016-01-05 wenzelm 2016-01-05 fewer use of GUI_Thread.now to reduce danger of deadlock on shutdown;
2016-01-04 wenzelm 2016-01-04 stop dummy sessions as well;
2015-10-02 wenzelm 2015-10-02 clarified init (again): isabelle.Main is responsible to provide basic JVM setup, jedit.jar picks this up (e.g. list of known fonts), plugin cannot be loaded in isolation without isabelle.Main;
2015-09-30 wenzelm 2015-09-30 more robust system init (again), in case the plugin is started without isabelle.Main;
2015-09-30 wenzelm 2015-09-30 clarified modules; more conventional GUI threading;
2015-09-29 wenzelm 2015-09-29 clarified Isabelle_System.init; clarified GUI.init_laf; clarified modules; tuned signature;
2015-09-29 wenzelm 2015-09-29 tuned GUI;
2015-09-29 wenzelm 2015-09-29 build session within running jEdit;
2015-08-25 wenzelm 2015-08-25 avoid deprecated PluginOptions with its unbounded window size;
2015-08-25 wenzelm 2015-08-25 clarified undefined_blobs: already loaded theories are suppressed; enabled jedit_auto_resolve (again): e.g. relevant for debugging when following links through source files;
2015-08-15 wenzelm 2015-08-15 more robust access to stable tip version: take all pending edits into account, don't assume model for current buffer;
2015-08-12 wenzelm 2015-08-12 resolve undefined blobs by default, e.g. relevant for ML debugger to avoid reset of breakpoints after reload;
2015-08-12 wenzelm 2015-08-12 clarified init/exit vs. session phase;
2015-07-30 wenzelm 2015-07-30 clarified management of (single) session; proper Debugger.Update events;
2015-05-07 wenzelm 2015-05-07 no GUI_Thread for SideKick parsers (in contrast to 4c8205fe3644), to avoid danger of deadlock due to nested context switch;
2015-05-03 wenzelm 2015-05-03 misc tuning, based on warnings by IntelliJ IDEA;
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;