diff options
author | Ran Benita <ran234@gmail.com> | 2013-11-27 13:43:57 +0200 |
---|---|---|
committer | Ran Benita <ran234@gmail.com> | 2013-11-27 13:45:15 +0200 |
commit | ba7530fa90795e077e685346444ebe3a3c1595ee (patch) | |
tree | 84702669ee5c42b79d4539850e01484783d69edb /test | |
parent | 1651e5af465f45f9b6fff7e65ab958425ccda00b (diff) | |
download | xorg-lib-libxkbcommon-ba7530fa90795e077e685346444ebe3a3c1595ee.tar.gz |
scanner: restore lost DIVIDE token
I don't know how this could have happened. Luckily this token is
completely useless.
Signed-off-by: Ran Benita <ran234@gmail.com>
Diffstat (limited to 'test')
-rw-r--r-- | test/data/keymaps/divide-by-zero.xkb | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/test/data/keymaps/divide-by-zero.xkb b/test/data/keymaps/divide-by-zero.xkb index 5ae7d44..9e3417f 100644 --- a/test/data/keymaps/divide-by-zero.xkb +++ b/test/data/keymaps/divide-by-zero.xkb @@ -1,6 +1,6 @@ xkb_keymap { xkb_keycodes { - <ESC> = 1 / 0; + <ESC> = 1; }; xkb_types { @@ -9,6 +9,10 @@ xkb_keymap { xkb_compatibility { virtual_modifiers NumLock; + interpret KP_1+AnyOfOrNone(all) { + repeat= True; + action= MovePtr(x=(1/0),y=+1); + }; }; xkb_symbols { |