src/Tools/jEdit/src/symbols_dockable.scala
2014-07-23 ago clarified module name: facilitate alternative GUI frameworks;
2014-04-28 ago tuned;
2014-04-26 ago tuned;
2014-04-26 ago clarified GUI focus;
2014-04-26 ago actually observe search limit;
2014-04-26 ago misc tuning;
2014-04-19 ago clarified tooltip_lines: HTML.encode already takes care of newline (but not space);
2014-04-17 ago capitalize more carefully, e.g. relevant for option "ML_exception_trace";
2014-04-16 ago more specific support for sequence of words;
2014-04-16 ago tuned signature -- separate module Word;
2014-04-12 ago some case-mangling;
2014-03-01 ago tuned signature -- separate module Font_Info;
2013-09-22 ago tuned;
2013-09-18 ago improved layout, with special treatment for ScrollPane;
2013-08-30 ago allow multiple symbol properties, notably groups and abbrevs;
2013-04-04 ago separate module Isabelle_Font, to keep this out of the way of generic Isabelle_System operations, notably for non-Isabelle/jEdit applications;
2012-11-30 ago renamed dockable "Prover Session" to "Theories";
2012-11-25 ago tuned signature;
2012-11-25 ago tuned signature;
2012-11-25 ago renamed main plugin object to PIDE;
2012-11-24 ago tuned -- Symbol.groups already sorted;
2012-11-24 ago more robust default font -- user might have switched jEdit TextArea to another font that lacks glyphs;
2012-11-24 ago added option jedit_symbols_search_limit;
2012-11-24 ago avoid empty tooltip;
2012-11-24 ago special handling of control symbols in Symbols dockable;
2012-11-24 ago recovered some tooltip wrapping from e2762f962042, with multi-line support via HTML.encode;
2012-11-24 ago avoid showing semantic aspects of Unicode -- Isabelle/Scala merely (ab)uses the low-level rendering model (codepoint + font);
2012-11-21 ago included abbrev in tooltip
2012-11-21 ago removed (unicode) tooltips: can not adjust font in basic swing tooltip
2012-11-21 ago delayed search to improve reactivity
2012-11-21 ago respect font property for symbols
2012-11-21 ago capitalize lowercase groups;
2012-11-21 ago tuned;
2012-11-21 ago accomodate scala-2.10.0-RC2 with its slight reform on for-syntax;
2012-11-21 ago dockable with buttons for symbols, grouped and sorted in tabs according to ~~/etc/symbols;