src/Tools/jEdit/src/symbols_dockable.scala
2016-09-20 wenzelm 2016-09-20 tuned -- fewer warnings;
2016-09-15 wenzelm 2016-09-15 tuned;
2016-09-14 wenzelm 2016-09-14 handle font-size events;
2016-09-14 wenzelm 2016-09-14 clarified GUI representation of replacement texts with zero or more abbrevs;
2016-09-14 wenzelm 2016-09-14 handle update events; tuned;
2016-09-14 wenzelm 2016-09-14 added abbrevs panel;
2016-01-08 wenzelm 2016-01-08 clarified symbol insertion, depending on buffer encoding;
2016-01-01 wenzelm 2016-01-01 clarified meaning of \<^bold> action, depending on group;
2015-01-18 wenzelm 2015-01-18 tuned;
2014-11-29 wenzelm 2014-11-29 encode text with control symbols;
2014-08-12 wenzelm 2014-08-12 separate Java FX modules -- no need to include jfxrt.jar by default;
2014-07-23 wenzelm 2014-07-23 clarified module name: facilitate alternative GUI frameworks;
2014-04-28 wenzelm 2014-04-28 tuned;
2014-04-26 wenzelm 2014-04-26 tuned;
2014-04-26 wenzelm 2014-04-26 clarified GUI focus;
2014-04-26 wenzelm 2014-04-26 actually observe search limit;
2014-04-26 wenzelm 2014-04-26 misc tuning;
2014-04-19 wenzelm 2014-04-19 clarified tooltip_lines: HTML.encode already takes care of newline (but not space);
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 more specific support for sequence of words;
2014-04-16 wenzelm 2014-04-16 tuned signature -- separate module Word;
2014-04-12 wenzelm 2014-04-12 some case-mangling; clarified use of locale;
2014-03-01 wenzelm 2014-03-01 tuned signature -- separate module Font_Info;
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