From 03350db8f014ad3cb3a30d499bab32d6c2e7e9ad Mon Sep 17 00:00:00 2001 From: Paul Davis Date: Sat, 11 Jul 2015 09:21:38 -0400 Subject: remove WINDOW modifier from mnemonic bindings file, and replace with SECONDARY which was already enforced by the substitution dictionary in fmt-bindings --- tools/fmt-bindings | 13 ------------- 1 file changed, 13 deletions(-) (limited to 'tools') diff --git a/tools/fmt-bindings b/tools/fmt-bindings index 7426d909e6..cb4a3886f9 100755 --- a/tools/fmt-bindings +++ b/tools/fmt-bindings @@ -35,20 +35,12 @@ GetOptions ("platform=s" => \$platform, "merge=s" => \$merge_from, "html" => \$html); -# -# The use of a separate @WINDOW@ meta-modifier was a mistake and needs to be removed from the bindings.in file. -# There is no separate key/modifier we can use for this, so inevitably it will be the same modifier as one of -# the other meta-modifiers. This means, for example, that @WINDOW@-b could be same as @SECONDARY@-b with no -# warnings given. One of the bindings will work, one won't. -# - if ($platform eq "darwin") { $gtk_modifier_map{'PRIMARY'} = 'Primary'; # GTK supports Primary to allow platform-independent binding to the "primary" modifier, which on OS X is Command $gtk_modifier_map{'SECONDARY'} = 'Control'; $gtk_modifier_map{'TERTIARY'} = 'Shift'; $gtk_modifier_map{'LEVEL4'} = 'Mod1'; - $gtk_modifier_map{'WINDOW'} = 'Control'; # cs_modifier_map == "Cheat Sheet Modifier Map" # Used to control what gets shown in the @@ -58,7 +50,6 @@ if ($platform eq "darwin") { $cs_modifier_map{'SECONDARY'} = 'Control'; $cs_modifier_map{'TERTIARY'} = 'Shift'; $cs_modifier_map{'LEVEL4'} = 'Opt'; - $cs_modifier_map{'WINDOW'} = 'Control'; # used to display what gets shown in the # cheat sheet for mouse bindings. Differs @@ -69,7 +60,6 @@ if ($platform eq "darwin") { $mouse_modifier_map{'SECONDARY'} = 'Ctrl'; $mouse_modifier_map{'TERTIARY'} = 'Shift'; $mouse_modifier_map{'LEVEL4'} = 'Opt'; - $mouse_modifier_map{'WINDOW'} = 'Ctrl'; } else { @@ -77,7 +67,6 @@ if ($platform eq "darwin") { $gtk_modifier_map{'SECONDARY'} = 'Alt'; $gtk_modifier_map{'TERTIARY'} = 'Shift'; $gtk_modifier_map{'LEVEL4'} = $winkey; # something like "Mod4>