--- a/org/gjt/sp/jedit/jedit_gui.props
+++ b/org/gjt/sp/jedit/jedit_gui.props
@@ -2088,6 +2088,16 @@
 #}}}
 
 #{{{ Shortcuts pane
+options.shortcuts.deletekeymap.label=delete
+options.shortcuts.deletekeymap.dialog.label=Delete the keymap
+options.shortcuts.deletekeymap.dialog.title=Delete
+options.shortcuts.duplicatekeymap.label=duplicate
+options.shortcuts.duplicatekeymap.dialog.label=Choose the new keymap name
+options.shortcuts.duplicatekeymap.dialog.title=keymap name
+options.shortcuts.resetkeymap.label=reset
+options.shortcuts.resetkeymap.dialog.label=Reset the keymap
+options.shortcuts.resetkeymap.dialog.title=reset ?
+options.shortcuts.keymap.label=Choose keymap:
 options.shortcuts.label=Shortcuts
 options.shortcuts.code=new ShortcutsOptionPane();
 options.shortcuts.select.label=Edit Shortcuts: