src/Tools/jEdit/src/dockable.scala
2014-05-08 wenzelm 2014-05-08 some odd tricks to provide "Detach" menu item, via "PIDE" docking framework;
2013-09-22 wenzelm 2013-09-22 focus on default component according to jEdit window management;
2011-06-08 wenzelm 2011-06-08 moved sources -- eliminated Netbeans artifact of jedit package directory;