Re: Display scaling?

[Po Lu]

Po Lu <luangruo@yahoo.com> writes:

> Yes, indeed.  People say that looks better than a tiny unreadable
> fringe, which is why I think such a temporary solution would be an
> improvement until we can find a good solution for completely supporting
> multiple scales.

If nobody has any objections, I'll start implementing the scaling of
fringes this way, and also the scaling of boxes and tool bar icon
margins.

Thanks.