At 11:11 PM +0100 on 11/10/99, M. Uli Kusterer wrote:
>>Alain: It would be really cool if we adopted PNG as
>>our graphics format. It's new, light-weight,
>>Web-savvy, buzzword-compliant, standards-based (W3C),
>>widely-supported ... It is essentially vector-based
>>graphics with bitmap-like rendering.
>
>Alain,
>
> I wasn't aware that PNG was a vector format. Are you sure? Do you know
>where I can read the specs.
I think they are on the W3C's page somewhere.
>Since
>editing wil take place in RAM anyway, the format an image will be saved in
>is not really important from a programmer's point of view.
GraphicsConvert's best PNG encoding can take a couple of minutes. It can be
important.
> The trouble is not the code, but changing the font used for buttons is
>hairy because you'd have to re-arrange all parts on the card. I don't see
>any problem with allowing to select *any* font as the script-editor font.
Agreed. We'd want a standard font for UI.
