#foot on 2025-02-19 — irc logs at libera.irclog.whitequark.org

2025-01-18 08:50 dnkl changed the topic of #foot to: Foot - fast, lightweight and minimalistic Wayland terminal emulator || 1.20.2 || https://codeberg.org/dnkl/foot || channel logs: https://libera.irclog.whitequark.org/foot

01:23 jmjl has quit [Read error: Connection reset by peer]

01:27 jmjl has joined #foot

01:28 hyrumb has quit [Changing host]

01:28 hyrumb has joined #foot

01:45 boomboxnation has quit [Read error: Connection reset by peer]

01:50 boomboxnation has joined #foot

02:45 boomboxnation has quit [Read error: Connection reset by peer]

02:51 boomboxnation has joined #foot

03:45 boomboxnation has quit [Read error: Connection reset by peer]

03:50 boomboxnation has joined #foot

04:45 boomboxnation has quit [Read error: Connection reset by peer]

04:50 boomboxnation has joined #foot

05:45 boomboxnation has quit [Read error: Connection reset by peer]

05:51 boomboxnation has joined #foot

06:30 kode54 has quit [Quit: The Lounge - https://thelounge.chat]

06:45 boomboxnation has quit [Read error: Connection reset by peer]

06:49 kode54 has joined #foot

06:50 boomboxnation has joined #foot

07:08 kode54 has quit [Quit: The Lounge - https://thelounge.chat]

07:32 OtzmaVindicus has quit [Remote host closed the connection]

07:32 OtzmaVindicus has joined #foot

07:45 boomboxnation has quit [Read error: Connection reset by peer]

07:46 dnkl has quit [Remote host closed the connection]

07:47 dnkl_ has joined #foot

07:48 dnkl_ has quit [Remote host closed the connection]

07:48 dnkl has joined #foot

07:49 dnkl has quit [Remote host closed the connection]

07:49 dnkl has joined #foot

07:51 boomboxnation has joined #foot

07:57 dnkl has quit [Remote host closed the connection]

07:57 dnkl has joined #foot

07:59 dnkl has quit [Remote host closed the connection]

08:00 dnkl has joined #foot

08:14 OtzmaVindicus has quit [Ping timeout: 264 seconds]

08:15 OtzmaVindicus has joined #foot

08:47 dnkl has quit [Remote host closed the connection]

08:47 dnkl has joined #foot

09:05 sentriz has quit [Ping timeout: 272 seconds]

09:15 dnkl has quit [Remote host closed the connection]

09:15 dnkl has joined #foot

09:16 dnkl has quit [Remote host closed the connection]

09:17 dnkl has joined #foot

09:20 dnkl has quit [Remote host closed the connection]

09:21 dnkl has joined #foot

09:29 kode54 has joined #foot

09:38 kode54 has quit [Ping timeout: 260 seconds]

09:45 boomboxnation has quit [Read error: Connection reset by peer]

09:50 boomboxnation has joined #foot

09:59 kode54 has joined #foot

10:22 kode54 has quit [Quit: The Lounge - https://thelounge.chat]

10:37 kode54 has joined #foot

10:45 boomboxnation has quit [Read error: Connection reset by peer]

10:47 kode549 has joined #foot

10:48 kode54 has quit [Ping timeout: 248 seconds]

10:48 kode549 is now known as kode54

10:51 boomboxnation has joined #foot

11:29 Biolunar has quit [Quit: brb]

11:31 Biolunar has joined #foot

11:35 flowji has joined #foot

11:45 boomboxnation has quit [Read error: Connection reset by peer]

11:50 boomboxnation has joined #foot

12:43 kode54 has quit [Read error: Connection reset by peer]

12:45 boomboxnation has quit [Read error: Connection reset by peer]

12:45 cbb has joined #foot

12:51 boomboxnation has joined #foot

13:45 boomboxnation has quit [Read error: Connection reset by peer]

13:51 boomboxnation has joined #foot

14:02 <dnkl> rockorager: we're discussing extended cursor styles in DECCSUSR (and thus also in DECRQSS). Specifically, a hollow cursor shape. ghostty also allows the user to configure a hollow cursor, right?

14:02 <dnkl> as far as I can tell, it doesn't expose it in DECSCUSR

14:02 <dnkl> We're debating how to handle this on foot

14:03 <dnkl> do you know if ghostty would be interested in extending DECSCUSR?

14:03 <dnkl> https://codeberg.org/dnkl/foot/pulls/1966

14:13 <rockorager> dnkl: yeah, ghostty allows configuring hollow as the default

14:13 <rockorager> And you are correct, it is not exposed in DECSCUSR

14:14 <rockorager> I think extending makes sense - hollow = 7?

14:14 <rockorager> I suppose we need a blinking hollow cursor also

14:14 <rockorager> (I hate that DECSCUSR sets blink)

14:17 <dnkl> yes, 7+8 would be the logical values I think

14:17 an3223 has quit [Remote host closed the connection]

14:17 OtzmaVindicus has quit [Read error: Connection reset by peer]

14:17 chiselfuse has quit [Write error: Connection reset by peer]

14:17 kode54 has joined #foot

14:18 <dnkl> 7=blinking hollow, 8=hollow

14:18 an3223 has joined #foot

14:18 OtzmaVindicus has joined #foot

14:18 <cbb> probably a good idea to check if any other terminal has mapped those values to a different style

14:19 <rockorager> Yeah, I think ghostty would support this - I'll have to open a discussion but it seems very doable

14:19 <rockorager> I don't get why anyone would want a hollow cursor on a focused window but...ok

14:19 chiselfuse has joined #foot

14:23 <rockorager> dnkl: https://github.com/ghostty-org/ghostty/discussions/5876

14:26 <rockorager> I think kitty would be on board with this too

14:26 <rockorager> Probably windows terminal based on cbb's comment?

14:28 <cbb> seems like "implement first, standardize later" is the only approach that works in the terminal world haha

14:28 <cbb> given how terminal-wg turned out

14:28 <rockorager> Heh, yeah

14:28 <rockorager> Also: always tell kovid last because he might drastically change it

14:29 <rockorager> Maybe that's opposite...tell him first in case he changes it 😂

14:30 <cbb> haha, I'd say first to be honest... his extensions have been really good in general

14:31 <rockorager> I'll make an issue in kitty for support of this

14:34 <cbb> current list of DECSCUSR values in Windows Terminal: https://github.com/microsoft/terminal/blob/13e7c9314df5422679ff2bf2a78978cb66af9ace/src/terminal/adapter/DispatchTypes.hpp#L597-L603

14:37 <cbb> (just to confirm the query code I mentioned in #1966 and their DECSCUSR code are using the same set)

14:38 <cbb> I'm guessing if anyone has used values 7 and 8 it'd probably be rxvt

14:40 <rockorager> https://github.com/kovidgoyal/kitty/issues/8353

14:43 <cbb> rockorager: awesome, it'll be interesting to see what Kovid makes of it

14:44 <rockorager> Can't imagine he would be opposed to this

14:44 <cbb> I wonder if the Windows Terminal people will take it as a green light to add all their other styles

14:44 <rockorager> What other styles do they have?

14:44 <cbb> https://learn.microsoft.com/en-us/windows/terminal/customize-settings/profile-appearance#cursor-shape

14:45 boomboxnation has quit [Read error: Connection reset by peer]

14:45 <cbb> I guess the extra ones are just "vintage" and double underscore

14:46 <rockorager> hm, I guess they could - seems crazy to have "vintage" vs a setting to adjust the height of "underscore"

14:50 <cbb> yeah... letting applications pick from a bigger set of distinct cursors can be useful though

14:50 boomboxnation has joined #foot

14:51 <cbb> to indicate things like input modes

14:51 <cbb> in a way that can't easily be missed

14:51 <cbb> relevant: https://github.com/microsoft/terminal/issues/7382

14:54 <cbb> I bet dnkl wasn't expecting a 7 line patch to lead to this haha

14:55 <rockorager> haha

14:55 <rockorager> kovid responded asking about use cases - I gave a pretty common example I can think of, if you have any others feel free to add there

15:32 <dnkl> I think for acceptance, it's good enough (to be) that at least *some* other terminals implement this, and that the numbers aren't already used somewhere

15:32 d76d5 has left #foot [#foot]

15:34 <rockorager> agree

15:36 chilledfrogs has quit [Quit: connection reset by purr]

15:45 boomboxnation has quit [Read error: Connection reset by peer]

15:45 <cbb> there's one other option (for foot) that dodges the difficulties entirely

15:46 <cbb> foot could offer a hollow cursor as a customization specifically for the block cursor

15:46 <cbb> and treat it exactly like the block cursor as far as DECSCUSR is concerned

15:47 <cbb> somewhat like dnkl's suggestion in #1966, but explicitly at the config level

15:48 <cbb> i.e. to satisfy the original feature request without exposing it to clients

15:50 <cbb> I kind of agree with Kovid's objection tbh

15:51 boomboxnation has joined #foot

15:51 <rockorager> cbb: yeah it's valid

15:53 chilledfrogs has joined #foot

16:36 sentriz has joined #foot

16:45 boomboxnation has quit [Read error: Connection reset by peer]

16:50 boomboxnation has joined #foot

17:04 cbb has quit [Quit: cbb]

17:45 boomboxnation has quit [Read error: Connection reset by peer]

17:51 boomboxnation has joined #foot

18:45 boomboxnation has quit [Read error: Connection reset by peer]

18:50 boomboxnation has joined #foot

19:45 boomboxnation has quit [Read error: Connection reset by peer]

19:51 boomboxnation has joined #foot

20:45 boomboxnation has quit [Read error: Connection reset by peer]

20:45 birdisword has quit [Ping timeout: 244 seconds]

20:46 <delthas> dnkl: fyi (pun intended) super old but notify-send now prints the ID immediately when you do -w (my mr got merged) https://gitlab.gnome.org/GNOME/libnotify/-/merge_requests/39

20:50 boomboxnation has joined #foot

21:20 hyrumb has quit [Ping timeout: 248 seconds]

21:23 birdisword has joined #foot

21:26 hyrumb has joined #foot

21:32 hyrumb has quit [Ping timeout: 252 seconds]

21:45 boomboxnation has quit [Read error: Connection reset by peer]

21:49 hyrumb has joined #foot

21:51 boomboxnation has joined #foot

22:03 birdisword has quit [Remote host closed the connection]

22:31 birdisword has joined #foot

22:45 boomboxnation has quit [Read error: Connection reset by peer]

22:50 boomboxnation has joined #foot

23:01 talisman` has quit [Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4)]

23:01 talismanick has joined #foot

23:45 boomboxnation has quit [Read error: Connection reset by peer]

23:51 boomboxnation has joined #foot