src/Tools/jEdit/src/graphview_dockable.scala
2013-03-23 ago retain original tooltip range, to avoid repeated window popup when the mouse is moved over the same content;
2013-03-17 ago explicit handling of tooltip window stack -- avoid memory leak due to not-so-weak references to disposed windows (via event handlers and other aux. components);
2012-12-14 ago more formal class Command.Results;
2012-12-13 ago more careful handling of Dialog_Result, with active area and color feedback;
2012-12-10 ago stateless dockable window for graphview, which is triggered by the active area of the corresponding diagnostic command;
2012-12-09 ago always apply transitive_reduction_acyclic in imitation of old graph browser (essential to avoid slow layout and overcrowded display, e.g. class_deps);
2012-11-25 ago renamed main plugin object to PIDE;
2012-11-25 ago Isabelle-specific implementation of quasi-abstract markup elements -- back to module arrangement before d83797ef0d2d;
2012-11-25 ago quasi-abstract module Rendering, with Isabelle-specific implementation;
2012-11-18 ago update options via protocol;
2012-10-08 ago more precise repaint and revalidate -- the latter is important to keep in sync with content update;
2012-10-08 ago use Pretty_Tooltip for Graphview_Panel;
2012-09-26 ago more uniform graphview terminology;