| Fri, 09 May 2014 21:03:44 +0200 | wenzelm | always bounce focus back to main text area, unless explicit focus component is given here (see also 7b65f4da136d); | file | diff | annotate |
| Thu, 08 May 2014 00:14:06 +0200 | wenzelm | some odd tricks to provide "Detach" menu item, via "PIDE" docking framework; | file | diff | annotate |
| Sun, 22 Sep 2013 19:50:48 +0200 | wenzelm | focus on default component according to jEdit window management; | file | diff | annotate |
| Wed, 08 Jun 2011 17:42:07 +0200 | wenzelm | moved sources -- eliminated Netbeans artifact of jedit package directory; | file | diff | annotate | base |