| Sat, 01 Dec 2012 23:55:39 +0100 | blanchet | tuned order of functions | changeset | files |
| Sat, 01 Dec 2012 23:55:38 +0100 | blanchet | proper quoting of paths in MaSh | changeset | files |
| Sat, 01 Dec 2012 22:47:03 +0100 | wenzelm | updated to jedit_build-20121201 (based on jedit-5.0.0); | changeset | files |
| Sat, 01 Dec 2012 22:42:54 +0100 | wenzelm | moved isabelle shortcuts to main jEdit.props, in order to have them migrated to the "imported" keymap; | changeset | files |
| Sat, 01 Dec 2012 22:23:42 +0100 | wenzelm | leave ALTERNATIVE_DISPATCHER mostly enabled on Mac OS X, to get events for COMMAND/Meta combinations, which seem to produce only KEY_PRESSED in Java 7, not KEY_TYPED as in Java 6; | changeset | files |
| Sat, 01 Dec 2012 19:51:43 +0100 | wenzelm | updated to jedit-5.0.0; | changeset | files |