diff options
author | Peter Hutterer <peter.hutterer@who-t.net> | 2024-01-08 11:37:02 +1000 |
---|---|---|
committer | Peter Hutterer <peter.hutterer@who-t.net> | 2024-01-08 11:37:02 +1000 |
commit | 02b571e913dcf7a3b029e1ec56db4a04cfa20651 (patch) | |
tree | 18a7302b0136e36adc219b0c360577f0ecd00c32 | |
parent | d6e607fa38908f8beeff0e892a0d25af74f8a4f2 (diff) |
Revert "Fix media keys lag on ABNT2 keyboard"
From xkeyboard-config!555:
That solution was a workaround to fix a bug in Ubuntu 22.04. The bug is described in:
- https://bugs.launchpad.net/ubuntu/+source/xkeyboard-config/+bug/1895486
- https://askubuntu.com/questions/906723/fn-media-keys-slow-delayed-on-ubuntu-gnome-17-04
As the xkeyboard-config is not the cause of that bug, the Scroll Lock
key must return because many users use this key in some apps.
This reverts commit f3a759524b01b3c8fbe27a8fa3ee76ed30d3adb9.
-rw-r--r-- | symbols/br | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -38,6 +38,8 @@ xkb_symbols "abnt2" { // The ABNT-2 keyboard has this special key: key <AB11> { [ slash, question, degree, questiondown ] }; + modifier_map Mod3 { Scroll_Lock }; + include "kpdl(comma)" include "level3(ralt_switch)" |