<dnkl>
rockorager: interresting. I'll likely try to follow its development, but not do anything immediately. It's a pretty large change to the grid model, and not something I want to do just because it's new and fancy
V has quit [Remote host closed the connection]
V has joined #foot
V has quit [Remote host closed the connection]
V has joined #foot
V has quit [Remote host closed the connection]
V has joined #foot
V has quit [Remote host closed the connection]
V has joined #foot
V has quit [Remote host closed the connection]
V has joined #foot
V has quit [Remote host closed the connection]
V has joined #foot
V has quit [Remote host closed the connection]
V has joined #foot
V has quit [Remote host closed the connection]
V has joined #foot
V has quit [Remote host closed the connection]
V has joined #foot
V has quit [Remote host closed the connection]
V has joined #foot
V has quit [Remote host closed the connection]
V has joined #foot
V has quit [Remote host closed the connection]
V has joined #foot
V has quit [Remote host closed the connection]
V has joined #foot
V has quit [Remote host closed the connection]
V has joined #foot
V has quit [Remote host closed the connection]
V has joined #foot
V has quit [Remote host closed the connection]
an3223 has quit [Remote host closed the connection]
V has joined #foot
V has quit [Remote host closed the connection]
V has joined #foot
an3223 has joined #foot
V has quit [Remote host closed the connection]
V has joined #foot
<krobelus>
Being able to set text width might be useful for simple applications that don't implement grapheme clusters (but operate on code points, which may be desirable of a text editor). I wonder if that part of this text sizing protocol would be easy to implement in many terminals
Guest9464 has quit [Remote host closed the connection]
V has joined #foot
V has quit [Remote host closed the connection]
V has joined #foot
V has quit [Remote host closed the connection]
V has joined #foot
V has quit [Remote host closed the connection]
boomboxnation has quit [Read error: Connection reset by peer]
V has joined #foot
V has quit [Remote host closed the connection]
<dnkl>
krobelus: might not give you the result you want though - the terminal is free to truncate if it thinks the text doesn't fit, or will otherwise increase the font size
boomboxnation has joined #foot
V has joined #foot
V has quit [Remote host closed the connection]
V has joined #foot
V has quit [Remote host closed the connection]
V has joined #foot
V has quit [Remote host closed the connection]
V has joined #foot
V has quit [Remote host closed the connection]
V has joined #foot
V has quit [Remote host closed the connection]
V has joined #foot
V has quit [Remote host closed the connection]
V has joined #foot
V has quit [Remote host closed the connection]
<krobelus>
hmm truncation would be fine for the cases I had in mind of but also potentially dangerous in error cases. I think w=2 alone should not increase the font size but the proposal doesn't seem to specify that yet
V has joined #foot
V has quit [Remote host closed the connection]
<dnkl>
I wonder how you're supposed to reflow the text when resizing the terminal...
V has joined #foot
V has quit [Remote host closed the connection]
V has joined #foot
V has quit [Remote host closed the connection]
V has joined #foot
V has quit [Remote host closed the connection]
V has joined #foot
V has quit [Remote host closed the connection]
V has joined #foot
V has quit [Remote host closed the connection]
V has joined #foot
V has quit [Remote host closed the connection]
V has joined #foot
V has quit [Remote host closed the connection]
V has joined #foot
V has quit [Remote host closed the connection]
V has joined #foot
V has quit [Remote host closed the connection]
Guest8686 has joined #foot
boomboxnation has quit [Read error: Connection reset by peer]
Guest8686 has quit [Remote host closed the connection]
Guest3889 has joined #foot
boomboxnation has joined #foot
Guest3889 has quit [Remote host closed the connection]
V has joined #foot
V has quit [Remote host closed the connection]
V has joined #foot
V has quit [Remote host closed the connection]
V has joined #foot
V has quit [Remote host closed the connection]
V has joined #foot
V has quit [Remote host closed the connection]
V has joined #foot
V has quit [Remote host closed the connection]
V has joined #foot
V has quit [Remote host closed the connection]
V has joined #foot
V has quit [Remote host closed the connection]
aktina has joined #foot
sewn has joined #foot
<rockorager>
I haven’t commented yet but I think the width portion should be a separate standalone sequence
<rockorager>
and some explicit query for support rather than the cursor movement one
<rockorager>
Or perhaps the same sequence but a query which returns the supported keys (so adopters could opt in to width only)
boomboxnation has quit [Read error: Connection reset by peer]
ollysmith has quit [Quit: ZNC 1.9.1+deb2+b2 - https://znc.in]
ollysmith has joined #foot
ollysmith has quit [Client Quit]
ollysmith has joined #foot
boomboxnation has joined #foot
cbb has joined #foot
boomboxnation has quit [Read error: Connection reset by peer]
boomboxnation has joined #foot
boomboxnation has quit [Read error: Connection reset by peer]
boomboxnation has joined #foot
<krobelus>
dnkl: I'm probably misunderstanding the problem but maybe text slices with explicit width should never be broken up by soft-wrapping. I guess if there explicit-width text is longer than $COLUMNS, then there should be some kind of error rendering..
<krobelus>
rockorager: I think I agree, thanks for posting that. I'm excited about being able to work around emoji glitches in kakoune.
<krobelus>
though at least for fish, I don't think we'd want to print problematic emoji in the prompt unless we are sure the terminal supported the explicit width. This is because fish will redraw the entire prompt on various occasions. So a mismatch cause bad glitches. But other shells should be fine I think
<rockorager>
krobelus: Yeah, fish wouldn't want to do that, but I think most users of readline would be able to
<dnkl>
krobelus: for width-only, we'd just treat it like other multi-column characters, like emojis - move it to the next line of it doesn't fit
<dnkl>
but when s > 1, i.e for multi-line characters... that's more interesting
<rockorager>
What do you do if it doesn't fit on a line?
<rockorager>
terminal width = 1
<rockorager>
If a single width doesn't fit on a line I think it's best to truncate
<dnkl>
that's we foot sets it's minimum window size to 2 characters 😂
<rockorager>
lol
boomboxnation has quit [Read error: Connection reset by peer]
boomboxnation has joined #foot
V has joined #foot
V has quit [Remote host closed the connection]
V has joined #foot
V has quit [Remote host closed the connection]
V has joined #foot
V has quit [Remote host closed the connection]
V has joined #foot
V has quit [Remote host closed the connection]
V has joined #foot
V has quit [Remote host closed the connection]
V has joined #foot
V has quit [Remote host closed the connection]
mtm has joined #foot
mtm_ has quit [Ping timeout: 245 seconds]
V has joined #foot
V has quit [Remote host closed the connection]
boomboxnation has quit [Read error: Connection reset by peer]
boomboxnation has joined #foot
chimo has quit [Quit: Bye.]
chimo has joined #foot
V has joined #foot
V has quit [Remote host closed the connection]
boomboxnation has quit [Read error: Connection reset by peer]
boomboxnation has joined #foot
boomboxnation has quit [Read error: Connection reset by peer]
boomboxnation has joined #foot
<krobelus>
yeah I was ignoring scaling since I don't know yet where I'd use that
Biolunar has quit [Quit: leaving]
boomboxnation has quit [Read error: Connection reset by peer]
boomboxnation has joined #foot
boomboxnation has quit [Read error: Connection reset by peer]
boomboxnation has joined #foot
cbb has quit [Quit: cbb]
boomboxnation has quit [Read error: Connection reset by peer]
boomboxnation has joined #foot
OtzmaVindicus has quit [Remote host closed the connection]
OtzmaVindicus has joined #foot
boomboxnation has quit [Read error: Connection reset by peer]
chilledfrogs has quit [Quit: connection reset by purr]
boomboxnation has joined #foot
chilledfrogs has joined #foot
Biolunar has joined #foot
boomboxnation has quit [Read error: Connection reset by peer]
boomboxnation has joined #foot
OtzmaVindicus has quit [Remote host closed the connection]
OtzmaVindicus has joined #foot
boomboxnation has quit [Read error: Connection reset by peer]