diff options
| author | Diego Nieto Cid <dnietoc@gmail.com> | 2010-07-31 01:12:39 -0300 |
|---|---|---|
| committer | Diego Nieto Cid <dnietoc@gmail.com> | 2011-04-08 14:36:17 -0300 |
| commit | de41d22942cadd3e7dac5e85c7e57abbf1b316dd (patch) | |
| tree | 24ab07c6f01d4db0812ad1349e202425381d31c9 /console-client/xkb | |
| parent | da8c738584a142ca2f34cceed95ff446a97f8d6a (diff) | |
Skip to main file's default section when needed.
Diffstat (limited to 'console-client/xkb')
| -rw-r--r-- | console-client/xkb/parser.y | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/console-client/xkb/parser.y b/console-client/xkb/parser.y index 8f5a1605..328fa606 100644 --- a/console-client/xkb/parser.y +++ b/console-client/xkb/parser.y @@ -1486,6 +1486,8 @@ parse_xkbconfig (char *xkbdir, char *xkbkeymapfile, char *xkbkeymap) if (xkbkeymap) skip_to_sectionname (xkbkeymap, XKBKEYMAP); + else + skip_to_defaultsection(); } else /* Use defaults. */ { |