From b5a37a856c0c454a2abda9baddce15cc4a13dda1 Mon Sep 17 00:00:00 2001 From: Richard Heck Date: Thu, 4 Aug 2016 17:09:12 -0400 Subject: [PATCH] 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. --- src/Layout.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Layout.cpp b/src/Layout.cpp index db8c317764..d6a01c9f7c 100644 --- 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 :-(