string l;
if (si.custom)
l = length_.asHTMLString();
- else if (si.kind != InsetSpaceParams::MEDIUM) {
- stringstream ss;
- ss << si.width;
- l = ss.str() + "px";
- }
+ else if (si.kind != InsetSpaceParams::MEDIUM)
+ l = to_string(si.width) + "px";
std::string attr;
if (!l.empty())
SpaceInfo const & si = space_info[space_];
switch (si.kind) {
case InsetSpaceParams::THIN:
- ms << from_ascii(" ");
+ ms << from_ascii(" "); // HTML:  
break;
case InsetSpaceParams::MEDIUM:
ms << from_ascii(" ");
break;
case InsetSpaceParams::THICK:
- ms << from_ascii(" ");
+ ms << from_ascii(" "); // HTML:  
break;
case InsetSpaceParams::ENSKIP:
case InsetSpaceParams::ENSPACE:
- ms << from_ascii(" ");
+ ms << from_ascii(" "); // HTML:  
break;
case InsetSpaceParams::QUAD:
- ms << from_ascii(" ");
+ ms << from_ascii(" "); // HTML:  
break;
case InsetSpaceParams::QQUAD:
- ms << from_ascii("  ");
+ ms << from_ascii("  "); // HTML:   
break;
case InsetSpaceParams::HFILL:
case InsetSpaceParams::HFILL_PROTECTED: