Backport of patch for ticket 8238

[Stephan Witt]

Richard,

I've attached a patch to backport the fix for 8238.
http://www.lyx.org/trac/ticket/8238#comment:11

Ok for branch?

Stephan