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 |