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
This commit is contained in:
Juergen Spitzmueller 2018-02-22 11:24:43 +01:00
parent 2afd21bd21
commit 820ec38da7

View File

@ -259,7 +259,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();
}