Bo Peng wrote:
> Dear all,
>
> Attached patch is far away from elegant, but it works. Comments are
> welcome, especially if you have a better way to make space at the
> beginning of a line significant other than \hspace{0in}.
a) this is a file format change, so it must not go to 1.4.x and needs
lyx2lyx support for 1.5. BTW, does 1.3.x have the same problem? If not,
then this is not a file format change but a bug and should be correct ASAP.
b) Does "\end{comment}{} b" work? That would be more elegant.
Georg
