diff options
author | Uli Schlachter <uli.schlachter@informatik.uni-oldenburg.de> | 2015-03-25 10:51:38 +0100 |
---|---|---|
committer | Uli Schlachter <uli.schlachter@informatik.uni-oldenburg.de> | 2015-03-25 10:51:38 +0100 |
commit | c4c9a4f09823a48cf7d8d6616b1e307cb6861bbd (patch) | |
tree | 01ce499c6bcec31fd63cb2149322b950001b96fc /src | |
parent | 95539d3c96862d3293256a7e5c256305c0a6f161 (diff) |
Skip XKB events in the code generator
Signed-off-by: Uli Schlachter <uli.schlachter@informatik.uni-oldenburg.de>
Diffstat (limited to 'src')
-rwxr-xr-x | src/extensions.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/extensions.py b/src/extensions.py index c776935..f6de17a 100755 --- a/src/extensions.py +++ b/src/extensions.py @@ -35,6 +35,9 @@ class Module(object): self.errors_table = self.handle_type("error", self.errors) self.requests_table = self.handle_type("request", self.requests) self.events_table = self.handle_type("event", self.events) + if self.name == "xkb": + # FIXME: This should be fixed in the xml instead + self.events_table = [ "XKB base event" ] def handle_type(self, kind, entries): # Do we have any entries at all? |