| Sat, 30 Nov 2013 22:56:20 +0100 | wenzelm | prefer 32x32 icon like jedit (image from isabelle.ico); | file | diff | annotate |
| Wed, 06 Nov 2013 18:15:25 +0100 | wenzelm | less tiny font for search criteria; | file | diff | annotate |
| Tue, 24 Sep 2013 20:41:28 +0200 | wenzelm | more quasi-generic PIDE modules (NB: Swing/JFX needs to be kept separate from non-GUI material); | file | diff | annotate |
| Tue, 24 Sep 2013 19:53:05 +0200 | wenzelm | simplified default L&F -- Nimbus should be always available and GTK+ is not fully working yet; | file | diff | annotate |
| Tue, 24 Sep 2013 19:46:11 +0200 | wenzelm | proper platform-specific test; | file | diff | annotate |
| Tue, 24 Sep 2013 19:41:14 +0200 | wenzelm | disable standard behaviour of Mac OS X text field (i.e. select-all after focus gain) in order to make completion work more smoothly; | file | diff | annotate |
| Sun, 22 Sep 2013 18:42:18 +0200 | wenzelm | tuned; | file | diff | annotate |