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

[Romano <unobe@cpan.org>]

For whatever reason, I'm getting delayed mails from the mailing list. I
haven't investigated further.

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

No, it also is when I hook up my extrawide LG monitor, not via drawterm.
I gave one example. I also want to find general solutions but I don't
want to make the perfect the enemy of the good: sometimes things may not
be the best, but they do help with a large chunk of the problem. That's
probably why there are so many commits already to 9front that are self-
described hacks: they're not ideal, but they are better than before.

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

That's not what I said: it works for me, not "it kinda works not really".
And it's not me ham-fisting (which is the first time I've seen it used as a
verb not an adjective) the patch by giving more details about how it helps
in my setup. That's not "all this discussion" is about. I think there has
been a good discussion, particularly the suggestion about using environment
variables and /dev/theme. Whether or not either of those is an approach that
would be acceptable is another matter.

> 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 agree, but it was addressing a good chunk of the problem I had at hand
so figured something is better than nothing. The thoughts about /dev/theme and
using environment variables are better than my submission, for sure, as
they're more general. But yeah, a general scaling UI would be nice. Some
programs might never be so general, like vnc. That's why I created the vnc
auto-scaling patch (which I'm glad was not rejected), because that was
scratching my most immediate itch at the time.

> I do not like this solution though, I am rejecting this patch.

Thank you for your consideration. At least if anyone has a large monitor
and finds this helpful while the ideal solution is hammered out, it's
here for the taking.