Re: font5.diff

[Andre Poenitz]

> | If not, we could probably settle for a lyxrc switch  'useamsfonts' or
> | something like that...
> 
> Why can't we dynamically discover and fallback?

I don't know how.... 

Wait... is this problem real? 

We do not really use fonts from the machine we are running on, do we?
Aren't we asking the _server_ to give us a font? And if it does not
have it, we fall back anyway.

Andre'

-- 
André Pönitz ............................................. [EMAIL PROTECTED]