show only symbols with code;

tuned signature;

more robust: provide docking framework via base plugin;

--HG--
rename : src/Tools/jEdit/src/dockable.scala => src/Tools/jEdit/src-base/dockable.scala
rename : src/Tools/jEdit/src/pide_docking_framework.scala => src/Tools/jEdit/src-base/pide_docking_framework.scala

clarified defaults;

tuned signature;

output control symbols like ML version, with optionally hidden source;

clarified modules;

tuned -- fewer warnings;

tuned;

handle font-size events;

clarified GUI representation of replacement texts with zero or more abbrevs;

handle update events;
tuned;

added abbrevs panel;

clarified symbol insertion, depending on buffer encoding;

clarified meaning of \<^bold> action, depending on group;

tuned;

encode text with control symbols;

separate Java FX modules -- no need to include jfxrt.jar by default;

--HG--
rename : src/Pure/GUI/jfx_thread.scala => src/Pure/GUI/jfx_gui.scala

clarified module name: facilitate alternative GUI frameworks;

--HG--
rename : src/Pure/GUI/swing_thread.scala => src/Pure/GUI/gui_thread.scala

tuned;

tuned;

clarified GUI focus;

actually observe search limit;

misc tuning;

clarified tooltip_lines: HTML.encode already takes care of newline (but not space);

capitalize more carefully, e.g. relevant for option "ML_exception_trace";

more specific support for sequence of words;

tuned signature -- separate module Word;

some case-mangling;
clarified use of locale;

tuned signature -- separate module Font_Info;

tuned;

improved layout, with special treatment for ScrollPane;

allow multiple symbol properties, notably groups and abbrevs;

separate module Isabelle_Font, to keep this out of the way of generic Isabelle_System operations, notably for non-Isabelle/jEdit applications;

renamed dockable "Prover Session" to "Theories";
more uniform Library.lowercase/uppercase;

--HG--
rename : src/Tools/jEdit/src/session_dockable.scala => src/Tools/jEdit/src/theories_dockable.scala

tuned signature;

tuned signature;
uniform view.fontsize fallback;

renamed main plugin object to PIDE;

tuned -- Symbol.groups already sorted;

more robust default font -- user might have switched jEdit TextArea to another font that lacks glyphs;

added option jedit_symbols_search_limit;

avoid empty tooltip;

special handling of control symbols in Symbols dockable;
less obscure Scala names;

recovered some tooltip wrapping from e2762f962042, with multi-line support via HTML.encode;

avoid showing semantic aspects of Unicode -- Isabelle/Scala merely (ab)uses the low-level rendering model (codepoint + font);

included abbrev in tooltip

removed (unicode) tooltips: can not adjust font in basic swing tooltip

delayed search to improve reactivity

respect font property for symbols

--HG--
extra : rebase_source : 4e44e1fd0bbb11ee6d4faabae360105fa51e1181

tuned;

accomodate scala-2.10.0-RC2 with its slight reform on for-syntax;

capitalize lowercase groups;
tuned with mkString

--HG--
extra : rebase_source : 164f18ae163167b4e133619030bed7aa7ae32a25

dockable with buttons for symbols, grouped and sorted in tabs according to ~~/etc/symbols;
search field for symbols

--HG--
extra : rebase_source : 6dca3e79cbe5c4d893a6fadd44d853c21e4aeccb