diff options
author | Benno Schulenberg <bensberg@telfort.nl> | 2022-05-16 15:32:45 +0200 |
---|---|---|
committer | Benno Schulenberg <bensberg@telfort.nl> | 2022-05-17 08:55:11 +0200 |
commit | 270c5622cea6eafc3e988eb44f1c3421e60f16d2 (patch) | |
tree | f13016572328f5146e46d57496fcdd05e2fcec7b /rules/0040-l4o_s.part | |
parent | 2f80bf214580f22620ac4db62221e2a96a130e41 (diff) | |
download | xkeyboard-config-270c5622cea6eafc3e988eb44f1c3421e60f16d2.tar.gz |
rules: make the Right-Alt group toggle override any layout's Right Alt
Many layouts include the ralt_switch option, which meant that any such
layout as non-first group would monopolize the Right-Alt key and would
invalidate the group toggle -- because the grp:toggle rule would get
applied only to the first layout. Correct this by applying the rule,
when chosen, to every layout.
This fixes https://bugs.debian.org/704209.
Reported-by: Ivan Shmakov <oneingray@gmail.com>
Signed-off-by: Benno Schulenberg <bensberg@telfort.nl>
Diffstat (limited to 'rules/0040-l4o_s.part')
-rw-r--r-- | rules/0040-l4o_s.part | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/rules/0040-l4o_s.part b/rules/0040-l4o_s.part index 2473e6d..db459a5 100644 --- a/rules/0040-l4o_s.part +++ b/rules/0040-l4o_s.part @@ -1,4 +1,5 @@ ! layout[4] option = symbols + * grp:toggle = +group(toggle):4 * grp:alts_toggle = +group(alts_toggle):4 * grp:alt_altgr_toggle = +group(alt_altgr_toggle):4 * grp:win_space_toggle = +group(win_space_toggle):4 |