[patch] Probably fix bug 1973

[Georg Baum]

Jürgen asked me to post this patch:
http://bugzilla.lyx.org/attachment.cgi?id=1688&action=view

It works for me, but I still understand the font business only partly, so 
please test carefully.

José, please tell if/when this should go in.


Georg