src/Tools/jEdit/src/active.scala
Mon, 10 Dec 2012 19:28:56 +0100 wenzelm keep diagnostic command -- avoid confusion when it disappears;
Mon, 10 Dec 2012 15:17:47 +0100 wenzelm stateless dockable window for graphview, which is triggered by the active area of the corresponding diagnostic command;
Mon, 10 Dec 2012 13:52:33 +0100 wenzelm generalized notion of active area, where sendback is just one application;
less more (0) tip