parent_context.check_layout(os);
begin_inset(os, "listings\n");
string arg = p.hasOpt() ? subst(p.verbatimOption(), "\n", "") : string();
+ size_t i;
+ while ((i = arg.find(", ")) != string::npos
+ || (i = arg.find(",\t")) != string::npos)
+ arg.erase(i + 1, 1);
+
if (use_minted) {
string const language = p.getArg('{', '}');
p.skip_spaces(true);