1
commit a4f62448819764f6f27ebcb86115734d0d57ea8d
2
Author: Sergey V. Udaltsov <svu@gnome.org>
3
Date: Sun Sep 2 08:57:52 2012 +0100
5
Fixed Shift-F10 behaviour
7
Preserving shift is essential for many applications
8
https://bugs.freedesktop.org/show_bug.cgi?id=45008
10
diff --git a/types/pc b/types/pc
11
index 01a5634..daebe74 100644
14
@@ -59,17 +59,19 @@ partial default xkb_types "default" {
18
- modifiers = Control+Alt+Shift+LevelThree;
19
+ modifiers = Control+Alt+Shift+LevelThree;
22
map[LevelThree] = Level3;
23
map[Shift+LevelThree] = Level4;
24
- map[Control+Alt] = Level5;
25
+ map[Control+Alt] = Level5;
26
+ preserve[Shift] = Shift;
27
+ preserve[Shift+LevelThree] = Shift;
28
level_name[Level1] = "Base";
29
level_name[Level2] = "Shift";
30
level_name[Level3] = "Alt Base";
31
level_name[Level4] = "Shift Alt";
32
- level_name[Level5] = "Ctrl+Alt";
33
+ level_name[Level5] = "Ctrl+Alt";