Correct indentation

This commit is contained in:
Juergen Spitzmueller 2018-08-27 12:13:55 +02:00
parent a3ed99b211
commit 9f99f3073a

View File

@ -496,14 +496,14 @@ void handle_colalign(Parser & p, vector<ColInfo> & colinfo,
case '@': case '@':
// text instead of the column spacing // text instead of the column spacing
case '!': { case '!': {
// text in addition to the column spacing // text in addition to the column spacing
string const arg = p.verbatim_item(); string const arg = p.verbatim_item();
next.special += t.character(); next.special += t.character();
next.special += '{' + arg + '}'; next.special += '{' + arg + '}';
string const sarg = arg.size() > 2 ? arg.substr(0, arg.size() - 1) : string(); string const sarg = arg.size() > 2 ? arg.substr(0, arg.size() - 1) : string();
if (t.character() == '@' && sarg == "\\extracolsep{0pt}") if (t.character() == '@' && sarg == "\\extracolsep{0pt}")
next.decimal_point = arg.back(); next.decimal_point = arg.back();
break; break;
} }
default: { default: {
// try user defined column types // try user defined column types