# HG changeset patch
# User wenzelm
# Date 1472753669 -7200
# Node ID b1088b1e3b7e69531b25bc872903e5ec5d2adabb
# Parent  f81e5f492cf9c20f93e3e9105eb59517fb3b6f19
uniform capitalization of labels;

diff -r f81e5f492cf9 -r b1088b1e3b7e src/Tools/jEdit/src/jEdit.props
--- 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