src/Tools/jEdit/src/isabelle_sidekick.scala
12 months ago wenzelm 2018-11-30 use Isabelle fonts for all GUI look-and-feels;
12 months ago wenzelm 2018-11-28 prefer Isabelle_Fonts.sans (not mono) as derived GUI font;
2017-03-06 wenzelm 2017-03-06 tuned;
2017-01-06 wenzelm 2017-01-06 manage buffer models as explicit global state; tuned signature;
2016-08-05 wenzelm 2016-08-05 Sidekick parser for isabelle-ml and sml mode;
2016-08-04 wenzelm 2016-08-04 support for context block structure in Sidekick; tuned;
2016-08-04 wenzelm 2016-08-04 tuned;
2016-08-04 wenzelm 2016-08-04 clarified modules;
2016-01-09 wenzelm 2016-01-09 tuned -- according to ML version;
2015-12-19 wenzelm 2015-12-19 more explicit Pretty.Tree, like in ML; tuned;
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-04-06 wenzelm 2015-04-06 allow prefix before keyword, notably 'private';
2015-01-05 wenzelm 2015-01-05 GUI.imitate_font: more explicit result size, e.g. relevant for caching; some graphview font options: Helvetica family is important for self-contained PDF; tuned;
2014-12-23 wenzelm 2014-12-23 imitate font more carefully: err on smaller size; imitate HTML font, notably for Sidekick where short string is also shown as view status message;
2014-12-04 wenzelm 2014-12-04 proper GUI_Thread context (cf. 7e0d3da6e6d8);
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-12-01 wenzelm 2014-12-01 Sidekick syntax is derived from buffer (and its mode), instead of parser name;
2014-10-21 wenzelm 2014-10-21 tuned rendering;
2014-10-21 wenzelm 2014-10-21 clarified tree root;
2014-10-19 wenzelm 2014-10-19 omit pointless nodes for proof commands etc.;
2014-10-19 wenzelm 2014-10-19 tuned signature and modules;
2014-10-05 wenzelm 2014-10-05 clarified modules;
2014-10-05 wenzelm 2014-10-05 more advanced NEWS tree structure and folding;
2014-10-04 wenzelm 2014-10-04 tuned output;
2014-10-04 wenzelm 2014-10-04 clarified Chunk -- avoid ooddities;
2014-10-04 wenzelm 2014-10-04 support for bibtex token markup; more robust ML token marker: no_context; tuned signature;
2014-10-03 wenzelm 2014-10-03 SideKick parser for bibtex entries; tuned signature;
2014-08-12 wenzelm 2014-08-12 tuned;
2014-08-11 wenzelm 2014-08-11 tuned signature;
2014-08-11 wenzelm 2014-08-11 clarified modules;
2014-07-23 wenzelm 2014-07-23 clarified module name: facilitate alternative GUI frameworks;
2014-05-01 wenzelm 2014-05-01 tuned output;
2014-04-26 wenzelm 2014-04-26 tuned signature;
2014-04-17 wenzelm 2014-04-17 capitalize more carefully, e.g. relevant for option "ML_exception_trace";
2014-04-16 wenzelm 2014-04-16 tuned signature -- separate module Word;
2014-04-02 wenzelm 2014-04-02 tuned signature -- more explicit iterator terminology;
2014-03-27 wenzelm 2014-03-27 more frugal merge of markup trees: filter wrt. subsequent query;
2014-03-27 wenzelm 2014-03-27 more careful treatment of multiple command states (eval + prints): merge content that is actually required; more standard Markup_Tree merge, including trivial cases;
2014-03-18 wenzelm 2014-03-18 clarifed module name;
2014-03-01 wenzelm 2014-03-01 tuned signature -- separate module Font_Info;
2014-02-21 wenzelm 2014-02-21 tuned signature;
2014-02-16 wenzelm 2014-02-16 recovered Isabelle_Sidekick_Markup from 9c53198dbb1c: snapshot requires Swing_Thread;
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-19 wenzelm 2013-11-19 clarified boundary cases of Document.Node.Name;
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-09-29 wenzelm 2013-09-29 observe user preferences;
2013-09-28 wenzelm 2013-09-28 enforce IsabelleText font for better symbol coverage, especially on Windows;
2013-08-29 wenzelm 2013-08-29 clarified SideKick parser name, which serves as quasi "mode" here;
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-27 wenzelm 2013-08-27 some actual completion via outer syntax; disable old SideKick completion for "isabelle" mode;
2013-07-06 wenzelm 2013-07-06 minimal jedit mode for Isabelle NEWS;
2013-04-04 wenzelm 2013-04-04 tuned signature -- avoid intrusion of slightly odd Swing structures into pure Markup_Tree;
2013-03-23 wenzelm 2013-03-23 allow fractional pretty margin -- avoid premature rounding;
2013-01-04 wenzelm 2013-01-04 tuned imports;
2012-12-16 wenzelm 2012-12-16 tuned signature: use thy_load to adapt to prover/editor specific view on sources;
2012-11-25 wenzelm 2012-11-25 renamed main plugin object to PIDE;
2012-09-20 wenzelm 2012-09-20 tuned;
2012-09-17 wenzelm 2012-09-17 somewhat more general JEdit_Lib; tuned signatures;
2012-08-22 wenzelm 2012-08-22 clarified global get_recent_syntax: session always has its base_syntax, but it might be absent itself;
2012-08-16 wenzelm 2012-08-16 updated to jdk-7u6 and jedit_build-20120813 -- NB: plain Isabelle/Scala still happens to work with jdk-6;