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;

tuned;

more uniform ComponentAdapter;

clarified module name: facilitate alternative GUI frameworks;

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

more uniform Font_Info.Zoom_Box;
misc tuning and clarification;

tuned signature;

common support for search field, which is actually a light-weight Highlighter;

clarified Session.Consumer, with Session.Outlet managed by dispatcher thread;
eliminated old actors;

avoid "Adaptation of argument list by inserting ()" -- deprecated in scala-2.11.0;

tuned signature -- separate module Font_Info;

tuned imports;

tuned signature;

improved FlowLayout for wrapping of components over multiple lines;

more uniform treatment of Swing_Thread context switch: prefer asynchronous Swing_Thread.later from actor;

tuned signature;

tuned imports;

tuned signature -- concentrate GUI tools;

more formal class Command.Results;

more careful handling of Dialog_Result, with active area and color feedback;
more formal type Command.Results;
propagate command results to output, which is required to resolve update of dialog state;
clarified Markup.message: retain uninterpreted messages;

tuned;

tuned signature;

tuned signature;
uniform view.fontsize fallback;

renamed main plugin object to PIDE;

tuned;

update options via protocol;
jEdit dialog for "Parallel Checking" options;

retain info dockable state via educated guess on window focus;

detach tooltip as dockable window;