+ xs << XMLStream::ESCAPE_NONE << " "; // HTML:
+ break;
+ case InsetSpaceParams::VISIBLE:
+ xs << XMLStream::ESCAPE_NONE << "␣";
+ break;
+ case InsetSpaceParams::ENSPACE: // HTML: ⁠ ⁠ (word joiners)
+ xs << XMLStream::ESCAPE_NONE << "⁠ ⁠";
+ break;
+ case InsetSpaceParams::THIN:
+ xs << XMLStream::ESCAPE_NONE << " "; // HTML: &thinspace;
+ break;
+ case InsetSpaceParams::MEDIUM:
+ xs << XMLStream::ESCAPE_NONE << " "; // HTML:  
+ break;
+ case InsetSpaceParams::THICK:
+ xs << XMLStream::ESCAPE_NONE << " "; // HTML:  
+ break;
+ case InsetSpaceParams::NEGTHIN:
+ case InsetSpaceParams::NEGMEDIUM:
+ case InsetSpaceParams::NEGTHICK:
+ xs << XMLStream::ESCAPE_NONE << " "; // HTML:
+ break;
+ case InsetSpaceParams::HFILL:
+ case InsetSpaceParams::HFILL_PROTECTED:
+ case InsetSpaceParams::DOTFILL:
+ case InsetSpaceParams::HRULEFILL:
+ case InsetSpaceParams::LEFTARROWFILL:
+ case InsetSpaceParams::RIGHTARROWFILL:
+ case InsetSpaceParams::UPBRACEFILL:
+ case InsetSpaceParams::DOWNBRACEFILL:
+ case InsetSpaceParams::CUSTOM:
+ case InsetSpaceParams::CUSTOM_PROTECTED:
+ xs << '\n';
+ break;
+ }
+}
+
+
+docstring InsetSpace::xhtml(XMLStream & xs, OutputParams const &) const
+{
+ string output;
+ switch (params_.kind) {
+ case InsetSpaceParams::NORMAL:
+ output = " ";
+ break;
+ case InsetSpaceParams::ENSKIP:
+ output =" ";
+ break;