bug 1656

[Juergen Spitzmueller]

http://bugzilla.lyx.org/show_bug.cgi?id=1656

Shouldn't this patch be applied? Personally, I don't get the described patch, 
but Martin has confirmed that the problem is solved by the patch.

Jürgen