summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSergey V. Udaltsov <svu@gnome.org>2012-12-19 22:11:33 +0000
committerSergey V. Udaltsov <svu@gnome.org>2012-12-19 22:11:33 +0000
commit322480cc58f99cb05918376528432e1cd58d8ab5 (patch)
tree377d41a1d8e490593172308e38772467f9cf3bc3
parent378597a9d525f069c049fdd6d04ff628123f82c7 (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/gr4
1 files changed, 3 insertions, 1 deletions
diff --git a/symbols/gr b/symbols/gr
index f4364cf8..d470904d 100644
--- a/symbols/gr
+++ b/symbols/gr
@@ -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