2023/05/23

2023-05-23 00:45:16 +0000td_(~td@i5387092F.versanet.de) (Ping timeout: 268 seconds)
2023-05-23 00:46:42 +0000td_(~td@i5387090A.versanet.de)
2023-05-23 01:17:21 +0000werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2023-05-23 02:09:01 +0000td_(~td@i5387090A.versanet.de) (Ping timeout: 240 seconds)
2023-05-23 02:11:13 +0000td_(~td@i53870922.versanet.de)
2023-05-23 05:50:52 +0000chomwitt(~chomwitt@2a02:587:7a07:4f00:1ac0:4dff:fedb:a3f1)
2023-05-23 06:48:00 +0000werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 248 seconds)
2023-05-23 06:50:02 +0000werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2023-05-23 06:50:08 +0000incertia(~incertia@209.122.71.127) (Ping timeout: 248 seconds)
2023-05-23 06:50:48 +0000incertia(~incertia@209.122.71.127)
2023-05-23 06:52:25 +0000mc47(~mc47@xmonad/TheMC47)
2023-05-23 07:10:12 +0000chomwitt(~chomwitt@2a02:587:7a07:4f00:1ac0:4dff:fedb:a3f1) (Remote host closed the connection)
2023-05-23 07:10:31 +0000chomwitt(~chomwitt@2a02:587:7a07:4f00:1ac0:4dff:fedb:a3f1)
2023-05-23 07:15:25 +0000jabuxas(~jabuxas@user/jabuxas) (Ping timeout: 240 seconds)
2023-05-23 07:18:46 +0000jabuxas(~jabuxas@user/jabuxas)
2023-05-23 07:24:11 +0000chomwitt(~chomwitt@2a02:587:7a07:4f00:1ac0:4dff:fedb:a3f1) (Ping timeout: 264 seconds)
2023-05-23 07:26:07 +0000chomwitt(~chomwitt@2a02:587:7a13:b200:1ac0:4dff:fedb:a3f1)
2023-05-23 07:32:41 +0000mncheckm(~mncheck@193.224.205.254)
2023-05-23 07:54:02 +0000cfricke(~cfricke@user/cfricke)
2023-05-23 09:10:28 +0000Solitary(~Solitary@user/solitary) (Ping timeout: 250 seconds)
2023-05-23 09:15:24 +0000unclechu(~unclechu@2001:470:69fc:105::354) (Remote host closed the connection)
2023-05-23 09:44:38 +0000ft(~ft@p4fc2a88b.dip0.t-ipconnect.de) (Quit: leaving)
2023-05-23 09:49:51 +0000Solitary(~Solitary@user/solitary)
2023-05-23 09:58:15 +0000chomwitt(~chomwitt@2a02:587:7a13:b200:1ac0:4dff:fedb:a3f1) (Ping timeout: 256 seconds)
2023-05-23 11:09:31 +0000vanvik(~vanvik@185.201.120.72) (Ping timeout: 240 seconds)
2023-05-23 13:50:50 +0000korolnx(~korolnx@2a04:ee41:0:610c:e26:15a7:85ad:8a9c)
2023-05-23 13:51:59 +0000 <korolnx> Hello, been using xmonad for, uhm, a long time. Now I'm trying to just change the font used for window titles in a tabbed layout, with 0 success. No matter what I put there, there is no change whatsoever. Any hint would be appreciated
2023-05-23 13:52:48 +0000unclechu(~unclechu@2001:470:69fc:105::354)
2023-05-23 13:53:18 +0000 <korolnx> the layout is defined as `tabbed shrinkText tabTheme`, and the theme as `def { fontName = "xft:Source Code Pro:pixelsize=12" }` (among other things)
2023-05-23 13:53:54 +0000 <geekosaur> did you try mod-shift-space? the layout type won't have changed, so it won't be recomputed
2023-05-23 13:54:03 +0000 <korolnx> the funny part is that `dmenu_run -fn "xft:Source Code Pro:pixelsize=12"` absolutely works.
2023-05-23 13:54:38 +0000 <korolnx> oh thanks geekosaur! that did it. I thought that a --restart would be enough
2023-05-23 13:54:51 +0000 <geekosaur> tis is actually something of a safety feature because you would lose things like position in a layout list and where the divider is (mod-h/mod-l) in non-tabbed layouts in the list
2023-05-23 13:55:44 +0000 <geekosaur> basically xmonad can't tell which layout parameters come from the config and which from runtime change messages, so it doesn't change anything unless it must
2023-05-23 13:56:05 +0000 <geekosaur> (you can even change the theme via a message)
2023-05-23 13:56:20 +0000 <korolnx> very fancy
2023-05-23 13:57:15 +0000 <korolnx> at some point I'll have to do the thing I've been procrastinating for like 4 years.... getting virtual desktop and window titles with plasma. Not even sure it's doable
2023-05-23 14:01:23 +0000chomwitt(~chomwitt@athedsl-285388.home.otenet.gr)
2023-05-23 14:12:23 +0000 <korolnx> oh, done. That was easy enough
2023-05-23 14:21:48 +0000werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Remote host closed the connection)
2023-05-23 14:39:47 +0000hightower3(~hightower@213.149.61.145) (Ping timeout: 264 seconds)
2023-05-23 15:10:54 +0000mekeor[m](~mekeormat@2001:470:69fc:105::17e4) ()
2023-05-23 15:38:39 +0000korolnx(~korolnx@2a04:ee41:0:610c:e26:15a7:85ad:8a9c) (Quit: Client closed)
2023-05-23 16:04:20 +0000unclechu(~unclechu@2001:470:69fc:105::354) (Remote host closed the connection)
2023-05-23 16:10:07 +0000cfricke(~cfricke@user/cfricke) (Quit: WeeChat 3.8)
2023-05-23 16:44:14 +0000alternateved(~user@77-253-195-69.adsl.inetia.pl)
2023-05-23 16:44:26 +0000hightower2(~hightower@85.94.71.188)
2023-05-23 16:55:23 +0000alternateved(~user@77-253-195-69.adsl.inetia.pl) (Remote host closed the connection)
2023-05-23 17:15:17 +0000Natch(~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Remote host closed the connection)
2023-05-23 17:23:41 +0000Natch(~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se)
2023-05-23 18:28:15 +0000retropikzel(9d1a4f9f46@2604:bf00:561:2000::ce) (Remote host closed the connection)
2023-05-23 18:28:16 +0000samhh(7569f027cf@2604:bf00:561:2000::e4) (Remote host closed the connection)
2023-05-23 18:28:20 +0000alethkit(23bd17ddc6@sourcehut/user/alethkit) (Remote host closed the connection)
2023-05-23 18:28:30 +0000zoglesby(f0f8ca1525@user/zoglesby) (Remote host closed the connection)
2023-05-23 18:30:03 +0000zoglesby(f0f8ca1525@user/zoglesby)
2023-05-23 18:30:14 +0000retropikzel(9d1a4f9f46@2604:bf00:561:2000::ce)
2023-05-23 18:31:23 +0000alethkit(23bd17ddc6@sourcehut/user/alethkit)
2023-05-23 18:31:28 +0000samhh(7569f027cf@2604:bf00:561:2000::e4)
2023-05-23 18:35:45 +0000chomwitt(~chomwitt@athedsl-285388.home.otenet.gr) (Ping timeout: 240 seconds)
2023-05-23 19:15:10 +0000ft(~ft@p4fc2a88b.dip0.t-ipconnect.de)
2023-05-23 21:14:21 +0000mc47(~mc47@xmonad/TheMC47) (Remote host closed the connection)
2023-05-23 22:21:18 +0000mncheckm(~mncheck@193.224.205.254) (Ping timeout: 250 seconds)
2023-05-23 22:57:53 +0000kaskal(~kaskal@089144220013.atnat0029.highway.webapn.at) (Ping timeout: 268 seconds)
2023-05-23 22:58:01 +0000kaskal-(~kaskal@213-147-167-98.nat.highway.webapn.at)