No, I don't want to do that. On upgrade, lyx2lyx would simply go through all comment insets, and remove a space that may be directly after the comment inset. On downgrade, lyx2lyx would add a {} in ERT if there is a space directly after the comment inset. That would not be difficult to code, we have more complicated tasks already solved in lyx2lyx.
I finally see what you want to do. isn't it too complicated for such a small change? :-)
> The only case this can affect the user is that he had this problem and > changed his lyx file to > > a[comment]\ b > > so that he can force a blank between a and b. Adding {} will not > change this. Sure it will change the output, since the {} will prevent the space from being swalloed.
I meant that the user already found this problem and used \ before blank. Then, the output would be \ b vs. {}\ b. They should be identical.
Me too, but consider the case where the space is there (unintentionally). Then is suddenly appears in the output, the line is too full and gets broken differently, resulting in an additional line in the paragraph, resulting in a figure going to another page etc.
Butterfly effect? I can imagine a grant proposal gets revoked because of this and someone's career is doomed. :-)
> lyxcomment does not generate latex output, so it is fine. Grayout > works fine as well. I did not test other environments. It would be great if you could. I know that this is boring, but I did such work several times, and that did discover other bugs.
OK It is now in my todo list. Bo