src/Tools/jEdit/src/active.scala
2016-12-23 wenzelm 2016-12-23 tuned;
2016-08-12 wenzelm 2016-08-12 active jEdit actions;
2016-07-15 wenzelm 2016-07-15 more structured edit, including indentation;
2016-03-13 wenzelm 2016-03-13 tuned;
2016-03-10 wenzelm 2016-03-10 prefer plain "isabelle" from PATH within Isabelle settings environment;
2016-02-14 wenzelm 2016-02-14 tuned signature;
2016-02-13 wenzelm 2016-02-13 tuned signature -- more like ML version;
2015-11-03 wenzelm 2015-11-03 prefer ad-hoc non-worker threads;
2015-08-20 wenzelm 2015-08-20 clarified modules, like ML version;
2015-08-11 wenzelm 2015-08-11 support hyperlinks with optional focus change; no change of focus for debuffer position, to avoid visual glitches and keep panel active;
2015-05-03 wenzelm 2015-05-03 misc tuning, based on warnings by IntelliJ IDEA;
2015-01-03 wenzelm 2015-01-03 more formal Graph_Display.Node (with ordering) and Graph_Display.Edge; misc tuning; tuned signature;
2014-10-03 wenzelm 2014-10-03 more buffer.isEditable checks;
2014-08-10 wenzelm 2014-08-10 follow link to originating command, to ensure that Simplifier_Trace_Dockable displays its results (via current_command);
2014-07-23 wenzelm 2014-07-23 clarified module name: facilitate alternative GUI frameworks;
2014-07-21 wenzelm 2014-07-21 regular message to refer to Simplifier Trace panel (unused);
2014-07-21 wenzelm 2014-07-21 proper Swing buttons instead of active areas within text (by Lars Hupel);
2014-05-19 wenzelm 2014-05-19 re-focus target explicity, e.g. relevant for Sledgehammer panel;
2014-04-25 wenzelm 2014-04-25 prefer Isabelle/Scala operations;
2014-04-22 wenzelm 2014-04-22 avoid "Adaptation of argument list by inserting ()" -- deprecated in scala-2.11.0;
2014-04-05 wenzelm 2014-04-05 more standard Isabelle_System.tmp_file and tmp_dir operations, in accordance to ML version;
2014-02-18 wenzelm 2014-02-18 more standard names for protocol and markup elements;
2014-02-04 Lars Hupel 2014-02-04 interactive simplifier trace: new panel in Isabelle/jEdit to inspect and modify simplification state
2013-11-21 wenzelm 2013-11-21 back to Status.FINISHED and immediate remove_overlay (reverting 6e69f9ca8f1c), which is important to avoid restart of print function after edits + re-assignment of located command; resolve sendback wrt. static command id, to allow active area even after exec_id is removed (cf. prune_delay);
2013-09-10 wenzelm 2013-09-10 tuned signature;
2013-07-18 wenzelm 2013-07-18 explicit padding on command boundary for "auto" generated sendback -- do not replace the corresponding goal command, but append to it;
2013-07-05 wenzelm 2013-07-05 tuned signature;
2013-07-05 wenzelm 2013-07-05 explicit module Document_ID as source of globally unique identifiers across ML/Scala;
2013-05-20 wenzelm 2013-05-20 discontinued odd workaround for scala-2.9.2, which is hopefully obsolete in scala-2.10.x;
2013-01-04 wenzelm 2013-01-04 prefer old graph browser in Isabelle/jEdit, which still produces better layout; clarified print mode "active_graph": allow to switch "browser" vs. "graphview" uniformly; tuned signature;
2012-12-13 wenzelm 2012-12-13 identify dialogs via official serial and maintain as result message; clarified Protocol.is_inlined: suppress result/tracing/state messages uniformly; cumulate_markup/select_markup depending on command state; explicit Rendering.output_messages; tuned source structure;
2012-12-12 wenzelm 2012-12-12 support dialog via document content;
2012-12-10 wenzelm 2012-12-10 keep diagnostic command -- avoid confusion when it disappears;
2012-12-10 wenzelm 2012-12-10 stateless dockable window for graphview, which is triggered by the active area of the corresponding diagnostic command;
2012-12-10 wenzelm 2012-12-10 generalized notion of active area, where sendback is just one application; some support for graphview via active area;