--- a/src/Tools/jEdit/src/jEdit.props Thu Sep 01 18:16:14 2016 +0200
+++ b/src/Tools/jEdit/src/jEdit.props Thu Sep 01 20:14:29 2016 +0200
@@ -250,6 +250,11 @@
match-bracket.shortcut2=C+9
navigator.showOnToolbar=true
next-bracket.shortcut2=C+e C+9
+options.shortcuts.deletekeymap.label=Delete
+options.shortcuts.duplicatekeymap.dialog.title=Keymap name
+options.shortcuts.duplicatekeymap.label=Duplicate
+options.shortcuts.resetkeymap.dialog.title=Reset keymap
+options.shortcuts.resetkeymap.label=Reset
options.textarea.lineSpacing=-2
plugin-blacklist.MacOSX.jar=true
plugin.MacOSXPlugin.altDispatcher=false