Re: widget size independant to screen resolution

Paul Bonser wrote:
> Am I wrong in these assumptions? Scaling a bitmap would be slow, yes,
> but scaling fonts shouldn't be since they only need be scaled once, or
> will be rendered with less detail, which would be faster...

If you only want it for terminals, that's fine.  However you asked for 
it to be possible to shrink windows, and the majority of windows have 
more than just text in them.

If you want to make a shrinking terminal, go for it; however, shrinking 
of arbitrary windows is not going to happen.

Phil