Thu, 26 Sep 2013 22:34:43 +0200 | wenzelm | added Isabelle/ML example; | changeset | files |
Thu, 26 Sep 2013 22:29:29 +0200 | wenzelm | updated jedit.jar, jEdit-patched.tar.gz according to 239f8f451976; | changeset | files |
Thu, 26 Sep 2013 21:39:10 +0200 | wenzelm | workaround for action-bar shortcut on Mac OS X L&F: avoid EnhancedMenuItem.setAccelerator which causes conflict with regular key handling and thus double invocation -- see also jEdit.actionContext (if actionBarVisible view.removeToolBar); | changeset | files |