diff options
| author | Diego Nieto Cid <dnietoc@gmail.com> | 2010-10-22 00:36:51 -0300 |
|---|---|---|
| committer | Diego Nieto Cid <dnietoc@gmail.com> | 2011-04-08 14:36:21 -0300 |
| commit | b43f2407b8f08910d3937bf3ab3c84f37687d07b (patch) | |
| tree | 74c215e65ba6fc6c313b49fa1d0ad2cc88300dbf /console-client/xkb | |
| parent | f9570fcd6bdd63dd9db34e4588e4c339566ff60b (diff) | |
Symbols 0..9 stand for their ascii character.
* console-client/xkb/parser.y(symbolname): Shift by '0' numbers [0..9].
Diffstat (limited to 'console-client/xkb')
| -rw-r--r-- | console-client/xkb/parser.y | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/console-client/xkb/parser.y b/console-client/xkb/parser.y index 18c14544..7ce504e5 100644 --- a/console-client/xkb/parser.y +++ b/console-client/xkb/parser.y @@ -1061,7 +1061,13 @@ symbolssect: /* Returns a keysymbols, the numberic representation. */ symbolname: IDENTIFIER { $$ = XStringToKeysym ($1); } -| NUM { $$ = $1 + '0' } +| NUM + { + if (($1 >= 0) && ($1 < 10)) + $$ = $1 + '0'; + else + $$ = $1; + } | HEX { $$ = $1; } ; |