dim.asc = 4;
dim.des = 0;
if (space_info[space_].custom)
- dim.wid = abs(length_.inPixels(
- mi.base.textwidth,
- mathed_char_width(mi.base.font, 'M')));
+ dim.wid = abs(length_.inPixels(mi.base));
else
dim.wid = space_info[space_].width;
}
os << space_info[space_].name.c_str();
if (space_info[space_].custom)
os << '{' << length_.asLatexString().c_str() << '}';
- else if (space_info[space_].escape && space_info[space_].name != " ")
+ else if (space_info[space_].escape && space_info[space_].name.length() > 1)
os.pendingSpace(true);
}