Different results for shift-altgr and altgr-shift.
Submitted by Tim Hutt
Assigned to xkb..@..bat.ru
Description
If I'm trying to type a shift-altgr character (for example shift-altgr-4 give ¼) then I get different results depending on the order I press shift and altgr.
Altgr then shift seems to give the expected results. Shift-altgr on the other hand does weird things. You have to press the third key twice to get any characters, and then if you keep shift and altgr down and press it a third time you get a different character. For example pressing shift-altgr-9 4 times gives: '[((' The first time does nothing. altgr-shift-9 gives: '±'.
This surely isn't right is it? The keymap only lists 4 symbols:
key `<AE09>` { [ 9, parenleft, bracketright, plusminus ] };
I assume this is [ no modifiers, shift, altgr, shift-altgr ].
The first three work, and shift-altgr does the right thing but I would assume altgr-shift should do the same thing.