}
+void InsetMathSpace::htmlize(HtmlStream & ms) const
+{
+ SpaceInfo const & si = space_info[space_];
+ switch (si.kind) {
+ case InsetSpaceParams::THIN:
+ ms << from_ascii(" ");
+ break;
+ case InsetSpaceParams::MEDIUM:
+ ms << from_ascii(" ");
+ break;
+ case InsetSpaceParams::THICK:
+ ms << from_ascii(" ");
+ break;
+ case InsetSpaceParams::ENSKIP:
+ ms << from_ascii(" ");
+ break;
+ case InsetSpaceParams::QUAD:
+ ms << from_ascii(" ");
+ break;
+ case InsetSpaceParams::QQUAD:
+ ms << from_ascii("  ");
+ break;
+ case InsetSpaceParams::CUSTOM: {
+ string l = length_.asHTMLString();
+ ms << MTag("span", "width='" + l + "'")
+ << from_ascii(" ") << ETag("span");
+ break;
+ }
+ default:
+ break;
+ }
+}
+
+
void InsetMathSpace::normalize(NormalStream & os) const
{
os << "[space " << int(space_) << "] ";
///
void mathmlize(MathStream & ms) const;
///
+ void htmlize(HtmlStream & ms) const;
+ ///
void write(WriteStream & os) const;
/// generate something that will be understood by the Dialogs.
InsetSpaceParams params() const;