> http://bugzilla.lyx.org/show_bug.cgi?id=3625 > > Bug 3625 is about the fact that you can't copy text with leading spaces. > Ironically this is actively disabled by... > Why do we want to start copying text after a space?
I think that was once introduced to avoid multiple spaces after pasting to normal text area. > Well, removing these lines solves the bug. Indeed. Before I put this in, I want to hear the opinion of others. regards Uwe
