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

[ori@eigenstate.org]

Quoth Stanley Lieber <sl@stanleylieber.com>:
> 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

this is, unfortunately, not true, and is one of the uglier
warts in rio.

Both rio and the programs agree by convention that rio will
paint into the outermost 4 pixels of the window.

Programs will explicitly subtract 4 pixels from their drawing
region, which rio will later paint over. Unless they're running
outside of rio, in which case they will subtract off 0 pixels.