| Fri, 11 Oct 2013 20:45:21 +0200 | wenzelm | clarified Editor.current_command: allow outdated snapshot; | changeset | files |
| Fri, 11 Oct 2013 12:06:26 +0200 | wenzelm | make double sure that AWT/Swing antialiasing is enabled (see also http://www.jedit.org/users-guide/jvm-options.html and jdk/src/share/classes/sun/awt/SunToolkit.java); | changeset | files |
| Thu, 10 Oct 2013 18:02:08 +0200 | wenzelm | more documentation; | changeset | files |