src/Tools/jEdit/src/state_dockable.scala
2017-01-06 wenzelm 2017-01-06 manage buffer models as explicit global state; tuned signature;
2015-12-19 wenzelm 2015-12-19 prefer default focus policy, like Output dockable;
2015-12-07 wenzelm 2015-12-07 tuned signature;
2015-11-21 wenzelm 2015-11-21 clarified default (again) in accordance to with Output dockable, despite more CPU resources requirements;
2015-11-21 wenzelm 2015-11-21 clarified default;
2015-11-21 wenzelm 2015-11-21 recovered auto update from f9aaca00be49;
2015-09-21 wenzelm 2015-09-21 tuned GUI;
2015-09-21 wenzelm 2015-09-21 removed auto update -- bad reactivity;
2015-09-21 wenzelm 2015-09-21 more reactive update, like Output panel;
2015-09-21 wenzelm 2015-09-21 added action "isabelle-update-state"; tuned signature;
2015-09-21 wenzelm 2015-09-21 support for auto update via caret focus;
2015-09-21 wenzelm 2015-09-21 separate panel for proof state output;