2014-05-09 wenzelm 2014-05-09 always bounce focus back to main text area, unless explicit focus component is given here (see also 7b65f4da136d);
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;