Re: [9front] [PATCH] rio: resize border and scrollbar based on font

[Romano <unobe@cpan.org>]

Thanks for the feedback, moody.

While it may be a band-aid, it does improve things from where I sit.
When I drawterm from a mac w/2560x1664 resolution, it's unbearable
with the default font. So I'm currently using /n/ttf/unifont.ttf.32/font
which makes everything pretty usable. The one thing that bothered me
was the scrollbar, and then I noticed the border width was super thin
too so tweaked that.

If this just modified the scroll bar to account for the font size,
would that be more palatable to you?

I also can't imagine trying to go through all programs to see which
rely on a specific rio border-width. It would be nice to address that
along with magnification. But I think this is a start, and makes things
more bearable at least for me.

Anyway, what do you think about just modifying the scroll bars? And
do you have thoughts on how to do scaling generally?

- Romano