rgheck wrote:
This is a repost. The last patch was zero bytes. And then, of course,
I reverted everything, thinking I could re-apply the patch. Which I
could not, since it was zero bytes. You can imagine how happy that
made me. Fortunately, I was able to remember what I'd done.
Obviously, an alternative here would have been to make "Space" into
"space".
That would have been my preference indeed.
But that would have needed lyx2lyx. Ultimately, everything should be
made uniform here, anyway.
Yes, all ascii identifiers should use lower case IMO.
Abdel.
