>>>>> "Lars" == Lars Gullik Bjønnes <[EMAIL PROTECTED]> writes:
Lars> Very bad.
Lars> The "Style xxx" should not give the gui name but an indeficator
Lars> for this style. The name to be used in the gui should be some
Lars> "GUIName XxX"
It is not a matter of GUI name. I think that the original code did not
have support for quoting maultiple words in what was lyxlex. As you
can see below, the _ is immediately forgotten:
if (lexrc.next()) {
string const name = subst(lexrc.getString(),
'_', ' ');
But maybe you know that and what annoys you is that there may be
spaces in style names? Would you like a name without spaces and one
with spaces? Why?
JMarc
