clarified modules;

clarified singleton module;

tuned signature;

tuned;

active jEdit actions;

more structured edit, including indentation;

tuned;

prefer plain "isabelle" from PATH within Isabelle settings environment;

tuned signature;

tuned signature -- more like ML version;

prefer ad-hoc non-worker threads;

clarified modules, like ML version;

support hyperlinks with optional focus change;
no change of focus for debuffer position, to avoid visual glitches and keep panel active;

more formal Graph_Display.Node (with ordering) and Graph_Display.Edge;
misc tuning;
tuned signature;

misc tuning, based on warnings by IntelliJ IDEA;

more buffer.isEditable checks;

follow link to originating command, to ensure that Simplifier_Trace_Dockable displays its results (via current_command);

clarified module name: facilitate alternative GUI frameworks;

--HG--
rename : src/Pure/GUI/swing_thread.scala => src/Pure/GUI/gui_thread.scala

regular message to refer to Simplifier Trace panel (unused);

proper Swing buttons instead of active areas within text (by Lars Hupel);

re-focus target explicity, e.g. relevant for Sledgehammer panel;

prefer Isabelle/Scala operations;

avoid "Adaptation of argument list by inserting ()" -- deprecated in scala-2.11.0;

more standard Isabelle_System.tmp_file and tmp_dir operations, in accordance to ML version;

more standard names for protocol and markup elements;

interactive simplifier trace: new panel in Isabelle/jEdit to inspect and modify simplification state

--HG--
extra : amend_source : ecfd76d4e8277199ca35432e0682414689f265fb

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);

tuned signature;

explicit padding on command boundary for "auto" generated sendback -- do not replace the corresponding goal command, but append to it;

tuned signature;

explicit module Document_ID as source of globally unique identifiers across ML/Scala;

discontinued odd workaround for scala-2.9.2, which is hopefully obsolete in scala-2.10.x;

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;

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;

support dialog via document content;

keep diagnostic command -- avoid confusion when it disappears;

stateless dockable window for graphview, which is triggered by the active area of the corresponding diagnostic command;

generalized notion of active area, where sendback is just one application;
some support for graphview via active area;

--HG--
rename : src/Pure/PIDE/sendback.ML => src/Pure/PIDE/active.ML
rename : src/Tools/jEdit/src/sendback.scala => src/Tools/jEdit/src/active.scala