On Tue, Dec 10, 2002 at 11:57:08AM +0200, Dekel Tsur wrote:
> What happens when the user changes the font in the preferences dialog ?
> If I'm not mistaken, the cache will not be cleared.
Yes it will. Like I mentioned ...
> One solution (other than cleaning the cache) is to store
> (qfont_loader::font_info const *, int) pairs instead of
> (LyXFont, int) pairs.
I'm going to do something similar indeed.
> BTW, why is QFontMetrics::width so slow ?
seems to be mostly unicode-related.
> If you can find a way to speed it up it would be better than the caching hack.
I cannot find a way.
regards
john
--
"Saying that taste is just personal preference is a good way to prevent
disputes. The trouble is, it's not true."
- Paul Graham
