On 16.12.2008, at 05:38, Rob Rothwell wrote:
Here is a change set that adds an "Update" button to the font list dialog. I have never created a change set before, or submitted anything for that matter. I used my full name (not initials), but don't know if I am supposed to do anything else.
No, thats fine.
I like not re-scanning unless you need to, but I bet it might break if the Fonts have NEVER been loaded...I'll have to think about how to test that.
Yes, we need to think a bit what is most clever... the whole font- picture is not yet completely clear to me. I will check over the holidays.
You still need to remove FreeTypeFontProvider from the startup list as well...
ok -- Marcus Denker -- denker@iam.unibe.ch http://www.iam.unibe.ch/~denker