Fix bug #10320.

Layout::write needs to allow for the possility that the name of the
style may contain a space. It seems sufficient just always to quote it.

diff --git a/src/Layout.cpp b/src/Layout.cpp
index db8c317764797306dd098b7e58958c7b05c9b9d9..d6a01c9f7cb12adbd94cef4ffa9352828d532a6f 100644 (file)
--- a/src/Layout.cpp
+++ b/src/Layout.cpp
@@ -1089,7 +1089,7 @@ void writeArgument(ostream & os, string const & id, Layout::latexarg const & arg
 
 void Layout::write(ostream & os) const
 {
-       os << "Style " << to_utf8(name_) << '\n';
+       os << "Style \"" << to_utf8(name_) << "\"\n";
        if (!category_.empty() && obsoleted_by_.empty())
                os << "\tCategory \"" << to_utf8(category_) << "\"\n";
        // Can't deduce Copystyle here :-(