diff options
| author | Philipp Gesang <phg42.2a@gmail.com> | 2013-05-23 20:51:50 +0200 |
|---|---|---|
| committer | Philipp Gesang <phg42.2a@gmail.com> | 2013-05-23 20:51:50 +0200 |
| commit | 03b8b939f8da1c6300b0b105633e9e53af28408b (patch) | |
| tree | dd436d12873cfb28344e468af334e98b2f358a12 | |
| parent | 610d1e92ba369d82653769af9078b4701ab2582a (diff) | |
| download | luaotfload-03b8b939f8da1c6300b0b105633e9e53af28408b.tar.gz | |
reduce permissiveness of garbage option rule
| -rw-r--r-- | luaotfload-features.lua | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/luaotfload-features.lua b/luaotfload-features.lua index a4d495e..a68eb04 100644 --- a/luaotfload-features.lua +++ b/luaotfload-features.lua @@ -1015,7 +1015,9 @@ local field = field_char^1 --- switches are “+key” | “-key” local normal_option = C(field) * ws * equals * ws * C(field) * ws local xetex_option = P"+" * ws * normal_option -local ignore_option = (1 - equals)^1 * equals * (1 - featuresep)^1 +local ignore_option = (1 - equals - featuresep)^1 + * equals + * (1 - featuresep)^1 local assignment = xetex_option / handle_xetex_option + normal_option / handle_normal_option + ignore_option / handle_invalid_option |