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

[Jacob Moody <moody@posixcafe.org>]

On 5/10/24 01:13, Romano wrote:
> 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.

I do not like merging hacks, I want to find solutions. This is only
a problem when using the system over drawterm from a mac.
I am not interested in merging this as is.

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

No, I don't want rio having code for scaling.

> 
> 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.

I don't want to merge "a start" just because it exists, let's us figure
the correct solution to the problem. If all this discussion is going to be
is you hamfisting this despite all these problems for it just being "well
it kinda works not really but its a start" then we're going nowhere.

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


I find scaling based on the font a bit silly. Maybe some $scale or
something would make more sense to me, and be more general to every
program. I do not like this solution though, I am rejecting this patch.