diff options
author | Sergey V. Udaltsov <svu@gnome.org> | 2012-12-19 22:11:33 +0000 |
---|---|---|
committer | Sergey V. Udaltsov <svu@gnome.org> | 2012-12-19 22:11:33 +0000 |
commit | 322480cc58f99cb05918376528432e1cd58d8ab5 (patch) | |
tree | 377d41a1d8e490593172308e38772467f9cf3bc3 | |
parent | 378597a9d525f069c049fdd6d04ff628123f82c7 (diff) |
A couple of missing chars in gr(polytonic), added on levels 3, 4
https://bugs.freedesktop.org/show_bug.cgi?id=58441
-rw-r--r-- | symbols/gr | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -180,7 +180,9 @@ xkb_symbols "polytonic" { key <AD12> { [ dead_iota, VoidSymbol, dead_breve ] }; // ͺ ˘ key <AC10> { [ dead_acute, dead_psili ] }; // ´ ̓ - key <AC11> { [ dead_grave, dead_dasia ] }; // ` ̔ + key <AC11> { type[Group1]="FOUR_LEVEL", + [ dead_grave, dead_dasia, apostrophe, quotedbl ] }; + // ` ̔ ' " }; partial alphanumeric_keys alternate_group |