src/Tools/jEdit/src/symbols_dockable.scala
2013-09-22 wenzelm 2013-09-22 tuned;
2013-09-18 wenzelm 2013-09-18 improved layout, with special treatment for ScrollPane;
2013-08-30 wenzelm 2013-08-30 allow multiple symbol properties, notably groups and abbrevs;
2013-04-04 wenzelm 2013-04-04 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 wenzelm 2012-11-30 renamed dockable "Prover Session" to "Theories"; more uniform Library.lowercase/uppercase;
2012-11-25 wenzelm 2012-11-25 tuned signature;
2012-11-25 wenzelm 2012-11-25 tuned signature; uniform view.fontsize fallback;
2012-11-25 wenzelm 2012-11-25 renamed main plugin object to PIDE;
2012-11-24 wenzelm 2012-11-24 tuned -- Symbol.groups already sorted;
2012-11-24 wenzelm 2012-11-24 more robust default font -- user might have switched jEdit TextArea to another font that lacks glyphs;
2012-11-24 wenzelm 2012-11-24 added option jedit_symbols_search_limit;
2012-11-24 wenzelm 2012-11-24 avoid empty tooltip;
2012-11-24 wenzelm 2012-11-24 special handling of control symbols in Symbols dockable; less obscure Scala names;
2012-11-24 wenzelm 2012-11-24 recovered some tooltip wrapping from e2762f962042, with multi-line support via HTML.encode;
2012-11-24 wenzelm 2012-11-24 avoid showing semantic aspects of Unicode -- Isabelle/Scala merely (ab)uses the low-level rendering model (codepoint + font);
2012-11-21 immler 2012-11-21 included abbrev in tooltip
2012-11-21 immler 2012-11-21 removed (unicode) tooltips: can not adjust font in basic swing tooltip
2012-11-21 immler 2012-11-21 delayed search to improve reactivity
2012-11-21 immler 2012-11-21 respect font property for symbols
2012-11-21 immler 2012-11-21 capitalize lowercase groups; tuned with mkString
2012-11-21 wenzelm 2012-11-21 tuned;
2012-11-21 wenzelm 2012-11-21 accomodate scala-2.10.0-RC2 with its slight reform on for-syntax;
2012-11-21 immler 2012-11-21 dockable with buttons for symbols, grouped and sorted in tabs according to ~~/etc/symbols; search field for symbols