src/Tools/jEdit/src/documentation_dockable.scala
2016-01-09 wenzelm 2016-01-09 tuned -- according to ML version;
2015-11-13 wenzelm 2015-11-13 added antiquotation @{doc}, e.g. useful for demonstration purposes;
2015-11-03 wenzelm 2015-11-03 prefer ad-hoc non-worker threads;
2015-08-20 wenzelm 2015-08-20 tuned signature, according to 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-08-10 wenzelm 2015-08-10 tuned imports;
2015-08-05 wenzelm 2015-08-05 tuned;
2015-08-05 wenzelm 2015-08-05 tuned;
2015-05-20 wenzelm 2015-05-20 cell-specific row height based on its font, e.g. relevant for DPI scaling on Windows;
2015-01-18 wenzelm 2015-01-18 no censorship of L&F;
2014-08-12 wenzelm 2014-08-12 clarified focus and key handling -- more like SideKick; avoid resetting input map with its potentially confusion propagation of key events to unrelated components, e.g. main text area or tree scrollbar;
2014-08-12 wenzelm 2014-08-12 tuned;
2014-04-25 wenzelm 2014-04-25 prefer Isabelle/Scala operations;
2014-04-05 wenzelm 2014-04-05 explicit indication of important doc sections ("!"), which are expanded in the tree view;
2014-04-05 wenzelm 2014-04-05 clarified Doc entry: more explicit path; allow plain files as Doc; refer to official jEdit documentation;
2014-03-03 wenzelm 2014-03-03 tuned signature;
2013-12-06 wenzelm 2013-12-06 no keyboard control -- avoid confusion about meaning of selection;
2013-12-06 wenzelm 2013-12-06 directly react on click, assuming that document view operation is mostly idempotent;
2013-08-24 wenzelm 2013-08-24 more uniform treatment of Swing_Thread context switch: prefer asynchronous Swing_Thread.later from actor;
2013-08-12 wenzelm 2013-08-12 manage hyperlinks via PIDE editor interface;
2013-07-06 wenzelm 2013-07-06 eliminated pointless catch of unlikely exceptions, which may occur in Doc.contents already;
2013-07-06 wenzelm 2013-07-06 more release notes according to availability in proper release vs. repository clone; discontinued generated HTML for files that are accessible in 1 click;
2013-07-06 wenzelm 2013-07-06 quick access to release notes (imitating website/documentation.html);
2013-06-25 wenzelm 2013-06-25 more robust Doc.view invocation: avoid executing process on GUI thread, but show errors as dialog;
2013-06-25 wenzelm 2013-06-25 dockable window for Isabelle documentation;