| Fri, 01 Apr 2022 17:06:10 +0200 | wenzelm | clarified formatting, for the sake of scala3; | file | diff | annotate |
| Thu, 15 Jul 2021 16:35:45 +0200 | wenzelm | build.props for isabelle.jar, including isabelle.jedit; | file | diff | annotate | base |
| 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 |