Handle comments in options

Things like
pdfpagemode=UseOutlines%None,UseOutlines,UseThumbs,FullScreen

was not imported correctly (the comment was not stripped)

Fixes the rest of #5737

(cherry picked from commit 820ec38da7)
This commit is contained in:
Juergen Spitzmueller 2018-02-22 11:24:43 +01:00
parent 5f4d678a72
commit d549330760
2 changed files with 4 additions and 2 deletions

View File

@ -281,7 +281,7 @@ vector<string> split_options(string const & input)
p.skip_spaces(true);
if (p.next_token().asInput() == "{")
option += '{' + p.getArg('{', '}') + '}';
} else if (t.cat() != catSpace)
} else if (t.cat() != catSpace && t.cat() != catComment)
option += t.asInput();
}

View File

@ -152,6 +152,8 @@ What's new
- Fix parsing issue in nested CJK (bug 9562).
- Fix import of package options with comments (bug 5737).
* ADVANCED FIND AND REPLACE