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

[Jacob Moody <moody@posixcafe.org>]

On 5/10/24 09:16, Stanley Lieber wrote:
> On May 10, 2024 10:10:29 AM EDT, Jacob Moody <moody@posixcafe.org> wrote:
>> On 5/10/24 01:20, Kurt H Maier wrote:
>>> On Thu, May 09, 2024 at 07:14:06PM -0500, Jacob Moody wrote:
>>>>
>>>> we do not currently do any sort of scaling in the UI for larger displays.
>>>> I think we should be looking at a more general solution to this problem,
>>>
>>> scrollbars and borders should be arguments passed to rio and then
>>> exposed in env or elsewhere
>>>
>>> every other attempt at 'general solutions' to ui scaling have been
>>> miserable goddamn failures and I really really don't want to live
>>> through it again
>>>
>>> khm
>>
>> Alright then where's you're code for a solution here? I don't
>> want arguments to every fucking program for scaling.
>>
>>
> 
> rio provides the borders, so every program in that rio that uses rio's borders would inherit the same settings.
> 
> sl

There are assumptions about the window size in other places of the code, that's what I was talking about.
Look at /sys/include/draw.h:/BorderWidth/, there is code that currently relies on it being 4 pixels as a constant.