star = true;
}
string const name = p.verbatim_item();
- string const opt1 = p.getOpt();
+ string const opt1 = p.getFullOpt();
string const opt2 = p.getFullOpt();
string const body = p.verbatim_item();
// font settings
else if (t.cs() == "newenvironment") {
string const name = p.getArg('{', '}');
- string const opt1 = p.getOpt();
- string const opt2 = p.getOpt();
+ string const opt1 = p.getFullOpt();
+ string const opt2 = p.getFullOpt();
string const beg = p.verbatim_item();
string const end = p.verbatim_item();
if (!in_lyx_preamble) {