#foot on 2023-09-22 — irc logs at libera.irclog.whitequark.org

2023-08-07 14:51 dnkl changed the topic of #foot to: Foot - fast, lightweight and minimalistic Wayland terminal emulator || 1.15.3 || https://codeberg.org/dnkl/foot || channel logs: https://libera.irclog.whitequark.org/foot

00:19 an3223 has quit [Remote host closed the connection]

00:20 an3223 has joined #foot

03:19 hao_ has joined #foot

03:35 h-erectus has joined #foot

04:24 sinan has joined #foot

04:27 <sinan> hi, italic p's tail is not visible on foot, noticeable on neovim code comments

04:27 <sinan> picrel, https://0x0.st/HOk3.png

04:30 <sinan> i'm using the terminus nerd font

05:11 <dnkl> sinan: then the font's metrics are broken. You could try to manually increase the line height

05:13 <dnkl> to be more precise; I'd guess the italic version of the font has a line height that is larger than the non-italic.

05:13 <dnkl> https://codeberg.org/dnkl/foot/src/branch/master/doc/foot.ini.5.scd#L110-L119

05:33 sinan has quit [Read error: Connection reset by peer]

05:57 sinan has joined #foot

06:06 h-erectus has quit [Remote host closed the connection]

06:54 uncomfy has joined #foot

07:00 urosm has quit [Ping timeout: 258 seconds]

07:08 qyliss is now known as qyliss|m

07:08 qyliss|m is now known as qyliss[m]

07:08 qyliss[m] is now known as qyliss

07:10 uncomfy has quit [Remote host closed the connection]

07:29 erectus has quit [Remote host closed the connection]

07:30 erectus has joined #foot

08:11 urosm has joined #foot

08:24 urosm has quit [Quit: urosm]

08:24 urosm has joined #foot

08:28 urosm has quit [Ping timeout: 240 seconds]

08:32 urosm has joined #foot

08:34 urosm1 has joined #foot

08:34 urosm has quit [Client Quit]

08:35 urosm1 is now known as urosm

08:35 urosm has quit [Client Quit]

08:42 urosm has joined #foot

08:50 urosm has quit [Read error: Connection reset by peer]

08:50 urosm has joined #foot

09:32 urosm has quit [Quit: urosm]

09:33 urosm has joined #foot

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

09:43 urosm has joined #foot

09:56 lack has quit [Read error: Connection reset by peer]

10:01 lack has joined #foot

10:27 urosm has quit [Read error: Connection reset by peer]

10:27 urosm has joined #foot

10:32 urosm has quit [Ping timeout: 260 seconds]

10:33 an3223 has quit [Ping timeout: 252 seconds]

10:35 urosm has joined #foot

10:35 an3223 has joined #foot

10:39 urosm has quit [Read error: Connection reset by peer]

10:39 urosm1 has joined #foot

10:41 urosm1 is now known as urosm

10:46 urosm has quit [Ping timeout: 240 seconds]

10:53 urosm has joined #foot

11:56 urosm has quit [Quit: urosm]

11:56 urosm1 has joined #foot

12:00 urosm1 has quit [Ping timeout: 255 seconds]

12:22 lack has quit [Read error: Connection reset by peer]

12:27 lack has joined #foot

12:49 erectus has quit [Remote host closed the connection]

12:50 erectus has joined #foot

12:50 erectus has quit [Remote host closed the connection]

12:51 erectus has joined #foot

13:48 lbia has quit [Quit: lbia]

14:15 lbia has joined #foot

15:27 cbb has joined #foot

15:37 Averyfastkid has joined #foot

15:37 <Averyfastkid> hi

15:38 <Averyfastkid> join #cometome

15:39 <Averyfastkid> cool

15:40 <Averyfastkid> so

15:40 <Averyfastkid> anyone

15:43 thisistheway has joined #foot

15:44 thisistheway has quit [Client Quit]

15:45 thisistheway has joined #foot

15:50 thisistheway has quit [Quit: Client closed]

15:50 thisistheway has joined #foot

15:50 thisistheway has quit [Client Quit]

15:53 bobnomom has joined #foot

15:54 bobnomom has quit [Client Quit]

15:54 Averyfastkid has quit [Quit: Client closed]

16:34 urosm has joined #foot

16:40 urosm1 has joined #foot

16:42 urosm1 has quit [Client Quit]

16:43 urosm1 has joined #foot

16:43 urosm has quit [Ping timeout: 258 seconds]

16:43 urosm1 is now known as urosm

20:09 hexa- has quit [Quit: WeeChat 3.8]

20:10 hexa- has joined #foot

22:21 cbb has quit [Quit: WeeChat 4.0.4]

23:03 rrogalski has joined #foot