2021/03/08

2021-03-08 00:24:53 +0100adamik(~nodelet@unaffiliated/adamik)
2021-03-08 00:29:14 +0100xaltsc(~xaltsc@unaffiliated/xaltsc) (Ping timeout: 258 seconds)
2021-03-08 01:11:34 +0100notis(~notis@185.51.134.230) (Ping timeout: 260 seconds)
2021-03-08 01:48:09 +0100gzj(~gzj@unaffiliated/gzj)
2021-03-08 01:54:27 +0100gzj(~gzj@unaffiliated/gzj) (Remote host closed the connection)
2021-03-08 02:00:12 +0100gzj(~gzj@unaffiliated/gzj)
2021-03-08 02:01:55 +0100materiyolo(~materiyol@112.204.160.151)
2021-03-08 02:26:32 +0100gazler_(~gazler@195.107.2.81.in-addr.arpa)
2021-03-08 02:28:52 +0100gazler(~gazler@195.107.2.81.in-addr.arpa) (Ping timeout: 276 seconds)
2021-03-08 02:30:05 +0100gzj(~gzj@unaffiliated/gzj) (Remote host closed the connection)
2021-03-08 02:30:26 +0100gzj(~gzj@unaffiliated/gzj)
2021-03-08 03:10:09 +0100Waifod(~Waifod@91.106.123.186) (Ping timeout: 264 seconds)
2021-03-08 03:11:46 +0100Waifod(~Waifod@91.106.123.186)
2021-03-08 03:16:23 +0100adamik(~nodelet@unaffiliated/adamik) (Quit: leaving)
2021-03-08 03:29:43 +0100kelnoky(~shao@ip1f1285ec.dynamic.kabel-deutschland.de) (Quit: WeeChat 3.0.1)
2021-03-08 03:30:05 +0100gzj(~gzj@unaffiliated/gzj) (Remote host closed the connection)
2021-03-08 03:30:09 +0100kelnoky(~shao@ip1f1285ec.dynamic.kabel-deutschland.de)
2021-03-08 03:30:19 +0100kelnoky(~shao@ip1f1285ec.dynamic.kabel-deutschland.de) (Client Quit)
2021-03-08 03:30:27 +0100gzj(~gzj@unaffiliated/gzj)
2021-03-08 03:31:09 +0100kelnoky(~shao@ip1f1285ec.dynamic.kabel-deutschland.de)
2021-03-08 03:31:26 +0100kelnoky(~shao@ip1f1285ec.dynamic.kabel-deutschland.de) (Client Quit)
2021-03-08 04:16:05 +0100gzj(~gzj@unaffiliated/gzj) (Remote host closed the connection)
2021-03-08 04:16:27 +0100gzj(~gzj@unaffiliated/gzj)
2021-03-08 04:39:39 +0100theDon(~td@94.134.91.77) (Ping timeout: 246 seconds)
2021-03-08 04:41:34 +0100theDon(~td@94.134.91.237)
2021-03-08 05:04:32 +0100adamik(~nodelet@unaffiliated/adamik)
2021-03-08 05:46:57 +0100adamik(~nodelet@unaffiliated/adamik) (Quit: leaving)
2021-03-08 05:52:08 +0100adamik(~nodelet@unaffiliated/adamik)
2021-03-08 06:01:06 +0100gzj(~gzj@unaffiliated/gzj) (Remote host closed the connection)
2021-03-08 06:01:26 +0100gzj(~gzj@unaffiliated/gzj)
2021-03-08 07:06:55 +0100palo1(~weechat@c-base/crew/palo)
2021-03-08 07:10:09 +0100palo(~weechat@c-base/crew/palo) (Ping timeout: 264 seconds)
2021-03-08 07:10:09 +0100palo1palo
2021-03-08 07:11:05 +0100gzj(~gzj@unaffiliated/gzj) (Remote host closed the connection)
2021-03-08 07:11:24 +0100gzj(~gzj@unaffiliated/gzj)
2021-03-08 07:39:14 +0100Waifod(~Waifod@91.106.123.186) (Ping timeout: 245 seconds)
2021-03-08 07:53:48 +0100materiyolo(~materiyol@112.204.160.151) (Quit: WeeChat 3.0.1)
2021-03-08 08:01:05 +0100gzj(~gzj@unaffiliated/gzj) (Remote host closed the connection)
2021-03-08 08:01:27 +0100gzj(~gzj@unaffiliated/gzj)
2021-03-08 08:02:10 +0100xaltsc(~xaltsc@unaffiliated/xaltsc)
2021-03-08 08:03:37 +0100daphnis(~daphnis@cm-84.214.179.98.getinternet.no)
2021-03-08 08:17:10 +0100 <Solid> but then you'd have one more thing to add to that report ;)
2021-03-08 08:32:02 +0100Waifod(~Waifod@91.106.123.186)
2021-03-08 08:41:53 +0100ericsagnes(~ericsagne@2405:6580:0:5100:6d03:d77e:f4e7:30fb) (Ping timeout: 260 seconds)
2021-03-08 08:44:18 +0100ChubaDuba(~ChubaDuba@176.212.38.171)
2021-03-08 08:44:43 +0100ChubaDuba(~ChubaDuba@176.212.38.171) (Client Quit)
2021-03-08 08:50:48 +0100cfricke(~cfricke@unaffiliated/cfricke)
2021-03-08 08:54:46 +0100ericsagnes(~ericsagne@2405:6580:0:5100:ff67:b2c7:65c7:54f0)
2021-03-08 09:06:02 +0100xaltsc(~xaltsc@unaffiliated/xaltsc) (Ping timeout: 264 seconds)
2021-03-08 09:12:15 +0100materiyolo(~materiyol@112.204.160.151)
2021-03-08 09:12:16 +0100ml|(~ml|@unaffiliated/ml/x-3958674) (Ping timeout: 240 seconds)
2021-03-08 09:18:11 +0100ChubaDuba(~ChubaDuba@176.212.38.171)
2021-03-08 09:25:27 +0100idhugo(~idhugo@87-49-147-45-mobile.dk.customer.tdc.net)
2021-03-08 09:25:57 +0100ml|(~ml|@unaffiliated/ml/x-3958674)
2021-03-08 09:31:05 +0100gzj(~gzj@unaffiliated/gzj) (Remote host closed the connection)
2021-03-08 09:31:25 +0100gzj(~gzj@unaffiliated/gzj)
2021-03-08 09:33:19 +0100xaltsc(~xaltsc@unaffiliated/xaltsc)
2021-03-08 09:35:01 +0100notis(~notis@185.51.134.222)
2021-03-08 09:41:07 +0100mc47(~yecinem@89.246.239.190)
2021-03-08 09:57:57 +0100daphnis(~daphnis@cm-84.214.179.98.getinternet.no) (Ping timeout: 246 seconds)
2021-03-08 09:58:14 +0100daphnis(~daphnis@vpn-client320.uio.no)
2021-03-08 10:26:07 +0100fakecrafter(~fakecraft@aftr-37-201-168-120.unity-media.net)
2021-03-08 10:27:05 +0100gzj(~gzj@unaffiliated/gzj) (Remote host closed the connection)
2021-03-08 10:27:27 +0100gzj(~gzj@unaffiliated/gzj)
2021-03-08 10:33:49 +0100mc47(~yecinem@89.246.239.190) (Remote host closed the connection)
2021-03-08 10:55:45 +0100daphnis(~daphnis@vpn-client320.uio.no) (Ping timeout: 264 seconds)
2021-03-08 10:57:35 +0100daphnis(~daphnis@cm-84.214.179.98.getinternet.no)
2021-03-08 11:00:52 +0100thc202(~thc202@unaffiliated/thc202)
2021-03-08 11:10:05 +0100gzj(~gzj@unaffiliated/gzj) (Remote host closed the connection)
2021-03-08 11:10:27 +0100gzj(~gzj@unaffiliated/gzj)
2021-03-08 11:17:04 +0100xaltsc(~xaltsc@unaffiliated/xaltsc) (Ping timeout: 260 seconds)
2021-03-08 11:17:47 +0100xaltsc(~xaltsc@unaffiliated/xaltsc)
2021-03-08 11:25:57 +0100kelnoky(~shao@ip1f1285ec.dynamic.kabel-deutschland.de)
2021-03-08 11:26:22 +0100ChubaDub1(~ChubaDuba@5.165.178.233)
2021-03-08 11:26:49 +0100mc47(~yecinem@89.246.239.190)
2021-03-08 11:27:03 +0100 <mc47> Solid well, true, but I want to finish the report in time :D
2021-03-08 11:28:10 +0100ChubaDuba(~ChubaDuba@176.212.38.171) (Ping timeout: 260 seconds)
2021-03-08 11:28:41 +0100ChubaDub1(~ChubaDuba@5.165.178.233) (Client Quit)
2021-03-08 11:29:03 +0100idhugo_(~idhugo@87-49-147-45-mobile.dk.customer.tdc.net)
2021-03-08 11:29:12 +0100idhugo(~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Remote host closed the connection)
2021-03-08 11:32:14 +0100 <Solid> :)
2021-03-08 11:34:45 +0100 <Liskni_si> https://store.lisk.in/tmp/2021-03-08_10-34.png
2021-03-08 11:35:10 +0100 <mc47> lol
2021-03-08 11:35:49 +0100 <Solid> :D
2021-03-08 11:36:39 +0100mc47(~yecinem@89.246.239.190) (Quit: Leaving)
2021-03-08 11:49:12 +0100ChubaDuba(~ChubaDuba@5.165.178.233)
2021-03-08 11:51:19 +0100ChubaDuba(~ChubaDuba@5.165.178.233) (Client Quit)
2021-03-08 12:13:05 +0100gzj(~gzj@unaffiliated/gzj) (Remote host closed the connection)
2021-03-08 12:13:25 +0100gzj(~gzj@unaffiliated/gzj)
2021-03-08 12:16:05 +0100gzj(~gzj@unaffiliated/gzj) (Remote host closed the connection)
2021-03-08 12:16:25 +0100gzj(~gzj@unaffiliated/gzj)
2021-03-08 12:33:57 +0100kelnoky(~shao@ip1f1285ec.dynamic.kabel-deutschland.de) (Quit: WeeChat 3.0.1)
2021-03-08 12:41:21 +0100xaltsc(~xaltsc@unaffiliated/xaltsc) (Ping timeout: 264 seconds)
2021-03-08 12:42:05 +0100gzj(~gzj@unaffiliated/gzj) (Remote host closed the connection)
2021-03-08 12:42:31 +0100gzj(~gzj@unaffiliated/gzj)
2021-03-08 12:44:06 +0100gzj(~gzj@unaffiliated/gzj) (Remote host closed the connection)
2021-03-08 12:44:30 +0100gzj(~gzj@unaffiliated/gzj)
2021-03-08 12:45:05 +0100gzj(~gzj@unaffiliated/gzj) (Remote host closed the connection)
2021-03-08 12:45:29 +0100gzj(~gzj@unaffiliated/gzj)
2021-03-08 12:54:05 +0100gzj(~gzj@unaffiliated/gzj) (Remote host closed the connection)
2021-03-08 12:54:25 +0100gzj(~gzj@unaffiliated/gzj)
2021-03-08 12:55:05 +0100gzj(~gzj@unaffiliated/gzj) (Remote host closed the connection)
2021-03-08 12:55:28 +0100gzj(~gzj@unaffiliated/gzj)
2021-03-08 13:46:51 +0100fakecrafter(~fakecraft@aftr-37-201-168-120.unity-media.net) (Ping timeout: 246 seconds)
2021-03-08 14:03:57 +0100ADG1089__(~aditya@223.226.235.12)
2021-03-08 14:07:16 +0100geekosaur(82650c7a@130.101.12.122)
2021-03-08 14:15:42 +0100ml|(~ml|@unaffiliated/ml/x-3958674) (Ping timeout: 260 seconds)
2021-03-08 14:22:42 +0100daphnis(~daphnis@cm-84.214.179.98.getinternet.no) (Ping timeout: 260 seconds)
2021-03-08 14:24:44 +0100adamik(~nodelet@unaffiliated/adamik) (Quit: leaving)
2021-03-08 14:28:47 +0100ml|(~ml|@unaffiliated/ml/x-3958674)
2021-03-08 14:51:16 +0100ADG1089__(~aditya@223.226.235.12) (Remote host closed the connection)
2021-03-08 15:07:09 +0100ml|(~ml|@unaffiliated/ml/x-3958674) (Ping timeout: 264 seconds)
2021-03-08 15:08:08 +0100gzj(~gzj@unaffiliated/gzj) (Remote host closed the connection)
2021-03-08 15:08:31 +0100gzj(~gzj@unaffiliated/gzj)
2021-03-08 15:09:06 +0100gzj(~gzj@unaffiliated/gzj) (Remote host closed the connection)
2021-03-08 15:09:30 +0100gzj(~gzj@unaffiliated/gzj)
2021-03-08 15:13:06 +0100gzj(~gzj@unaffiliated/gzj) (Remote host closed the connection)
2021-03-08 15:13:26 +0100gzj(~gzj@unaffiliated/gzj)
2021-03-08 15:14:08 +0100gzj(~gzj@unaffiliated/gzj) (Remote host closed the connection)
2021-03-08 15:14:29 +0100gzj(~gzj@unaffiliated/gzj)
2021-03-08 15:15:07 +0100gzj(~gzj@unaffiliated/gzj) (Remote host closed the connection)
2021-03-08 15:20:15 +0100dexterdexterfoo
2021-03-08 15:38:45 +0100daphnis(~daphnis@cm-84.214.179.98.getinternet.no)
2021-03-08 15:49:16 +0100geekosaur(82650c7a@130.101.12.122) (Quit: Connection closed)
2021-03-08 15:58:28 +0100ADG1089__(~aditya@223.226.235.12)
2021-03-08 16:00:26 +0100s00pcan(~chris@075-133-056-178.res.spectrum.com)
2021-03-08 16:05:33 +0100jtcs(~jtcs@vmi359854.contaboserver.net) (Ping timeout: 256 seconds)
2021-03-08 16:07:54 +0100jtcs(~jtcs@vmi359854.contaboserver.net)
2021-03-08 16:08:30 +0100ADG1089__(~aditya@223.226.235.12) (Read error: Connection reset by peer)
2021-03-08 16:12:49 +0100ft(~ft@shell.chaostreff-dortmund.de) (Quit: leaving)
2021-03-08 16:12:59 +0100thunderrd(~thunderrd@183.182.115.72) (Read error: Connection reset by peer)
2021-03-08 16:13:13 +0100ft(~ft@shell.chaostreff-dortmund.de)
2021-03-08 16:14:02 +0100thunderrd(~thunderrd@183.182.115.72)
2021-03-08 16:15:22 +0100ml|(~ml|@unaffiliated/ml/x-3958674)
2021-03-08 16:17:12 +0100adamik(~nodelet@unaffiliated/adamik)
2021-03-08 16:27:00 +0100mc47(~yecinem@89.246.239.190)
2021-03-08 16:30:17 +0100materiyolo(~materiyol@112.204.160.151) (Read error: Connection reset by peer)
2021-03-08 17:06:55 +0100 <mc47> Does anyone have an idea why YouTube videos, when in fullscreen, start having this weird black stripes when minimized?
2021-03-08 17:08:53 +0100 <mc47> (trying to figure out how to send a screenshot)
2021-03-08 17:10:02 +0100 <mc47> like this
2021-03-08 17:10:02 +0100 <mc47> https://ibb.co/JmnTyK3
2021-03-08 17:10:44 +0100 <mc47> (yes, at the end I did implement the layout... still needs some cleaning up though)
2021-03-08 17:11:59 +0100 <Liskni_si> oh your bar is pretty!
2021-03-08 17:12:31 +0100 <Liskni_si> about the black bar: you mean the one at the top?
2021-03-08 17:13:39 +0100 <Liskni_si> does it go away when you move your mouse to that window and then away again?
2021-03-08 17:14:02 +0100 <mc47> Thanks! Took a lot of playing around with xpm images to get it that way (not sure if I pushed it to my dotfiles)
2021-03-08 17:14:04 +0100 <mc47> yeah
2021-03-08 17:14:10 +0100 <mc47> the one on the top
2021-03-08 17:14:16 +0100 <mc47> it's like the video got pushed down
2021-03-08 17:14:21 +0100 <mc47> and no it's always there
2021-03-08 17:14:44 +0100 <mc47> even the controls are hidden, until I make it bigger
2021-03-08 17:15:33 +0100 <Liskni_si> hm, no idea then
2021-03-08 17:15:49 +0100 <Solid> is this the chromium thing where it expects to actually have a fullscreen window when being fullscreened?
2021-03-08 17:15:53 +0100 <Liskni_si> when I fullscreen youtube and then resize the window, this bar and controls just disappear in a while
2021-03-08 17:16:17 +0100 <mc47> No idea, other players work fine
2021-03-08 17:16:22 +0100 <mc47> just youtube
2021-03-08 17:16:48 +0100 <Solid> uh blame chrome anyways x)
2021-03-08 17:18:00 +0100 <mc47> With firefox only the controls disappear, but the video is okay
2021-03-08 17:18:47 +0100 <mc47> at least the layout modifier works :D
2021-03-08 17:18:51 +0100 <Liskni_si> it might be a chrome thing then, although it's a bit weird that it doesn't seem to happen here
2021-03-08 17:19:02 +0100 <Liskni_si> which reminds me
2021-03-08 17:19:30 +0100 <Liskni_si> if you'd use mpv to watch youtube, this would work fine and you wouldn't need to worry about the layout modifier either :-)
2021-03-08 17:20:54 +0100 <mc47> I never used mpv before
2021-03-08 17:21:02 +0100 <Solid> true story
2021-03-08 17:21:14 +0100 <Solid> mpv can use ytdl to "just work" with youtube videos
2021-03-08 17:21:23 +0100 <Solid> i.e. just give it a URL and it'll play it
2021-03-08 17:22:15 +0100 <Liskni_si> and it works for most other websites too, even some that youd
2021-03-08 17:22:31 +0100 <Liskni_si> that you'd normally want to avoid opening because they try to push malware your way
2021-03-08 17:22:58 +0100Liskni_silearned this the hard way, many many years ago :-)
2021-03-08 17:23:42 +0100 <mc47> I guess I should try it
2021-03-08 17:25:28 +0100seschwar(~seschwar@unaffiliated/seschwar)
2021-03-08 17:28:49 +0100cfricke(~cfricke@unaffiliated/cfricke) (Quit: WeeChat 3.0.1)
2021-03-08 17:41:21 +0100growpotkin(~growpotki@130-45-30-154.dyn.grandenetworks.net)
2021-03-08 17:48:02 +0100xaltsc(~xaltsc@unaffiliated/xaltsc)
2021-03-08 17:58:36 +0100geekosaur(82650c7a@130.101.12.122)
2021-03-08 18:08:49 +0100daphnis(~daphnis@cm-84.214.179.98.getinternet.no) (Ping timeout: 245 seconds)
2021-03-08 18:52:43 +0100geekosaur(82650c7a@130.101.12.122) (Ping timeout: 240 seconds)
2021-03-08 18:52:46 +0100notis(~notis@185.51.134.222) (Quit: WeeChat 3.0)
2021-03-08 18:55:32 +0100notis(~notis@185.51.134.229)
2021-03-08 19:02:18 +0100geekosaur(82650c7a@130.101.12.122)
2021-03-08 19:30:14 +0100daphnis(~daphnis@cm-84.214.179.98.getinternet.no)
2021-03-08 19:51:43 +0100geekosaur(82650c7a@130.101.12.122) (Ping timeout: 240 seconds)
2021-03-08 20:02:36 +0100ADG1089__(~aditya@223.226.235.12)
2021-03-08 20:08:50 +0100geekosaur(82650c7a@130.101.12.122)
2021-03-08 20:10:19 +0100daphnis(~daphnis@cm-84.214.179.98.getinternet.no) (Ping timeout: 276 seconds)
2021-03-08 20:31:57 +0100 <geekosaur> sorry. I seem to not be tracking very well today, I completely missed what they were expecting somehow
2021-03-08 20:38:08 +0100themc47(~yecinem@89.246.239.190)
2021-03-08 20:38:09 +0100mc47(~yecinem@89.246.239.190) (Read error: Connection reset by peer)
2021-03-08 20:38:10 +0100themc47(~yecinem@89.246.239.190) (Client Quit)
2021-03-08 20:41:24 +0100mc47(~yecinem@89.246.239.190)
2021-03-08 20:41:58 +0100 <Solid> don't worry about it, I can't believe I didn't ask the obvious question of "are you pressing the right keys" first :)
2021-03-08 21:09:26 +0100 <heck-to-the-gnom> mc47: Will you push that layout to your conf (once you've cleaned it up)? I think it's pretty useful, and I wonder how it'd behave in sublayouts 🧐
2021-03-08 21:09:52 +0100 <heck-to-the-gnom> err, layout modifier*
2021-03-08 21:13:44 +0100 <mc47> sure, I still need to add the messages
2021-03-08 21:14:18 +0100 <mc47> I'll push a pr next week in the worst case
2021-03-08 21:14:56 +0100 <mc47> (it should work in sublayouts, it just shrinks the rectangle assigned to the window so it respects the aspect ratio)
2021-03-08 21:28:30 +0100terrorjack(~terrorjac@ec2-54-95-39-30.ap-northeast-1.compute.amazonaws.com) (Ping timeout: 246 seconds)
2021-03-08 21:41:17 +0100terrorjack(~terrorjac@ec2-54-95-39-30.ap-northeast-1.compute.amazonaws.com)
2021-03-08 21:42:58 +0100thc202(~thc202@unaffiliated/thc202) (Ping timeout: 260 seconds)
2021-03-08 21:48:40 +0100daphnis(~daphnis@cm-84.214.179.98.getinternet.no)
2021-03-08 21:56:16 +0100idhugo_(~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 276 seconds)
2021-03-08 21:58:54 +0100 <heck-to-the-gnom> Cool
2021-03-08 22:00:13 +0100 <heck-to-the-gnom> I have some functions that modify the stack, but I have some actions that I do after those functions, with the way that they're currently setup, it redraws the windows, before executing the next action. Is there any way that I could suspend refreshing the screen until after the secondary action?
2021-03-08 22:02:24 +0100 <heck-to-the-gnom> I know that you can manually redraw the screen, but I'm wondering if I can suspend that action, or refactor my code in some way to prevent the redrawing, I'll get a paste
2021-03-08 22:04:16 +0100 <Solid> sounds like something X.U.PureX could potentially help with
2021-03-08 22:04:18 +0100 <geekosaur> combine them into the same windows call? it's a monoid so you can <+> actions
2021-03-08 22:12:44 +0100 <heck-to-the-gnom> PureX... Maybe... I'm not sure if that works given my `withNthWorkspace` call, IDK. And the same goes for the single windows call. It may not be possible... -> https://p.bsd-unix.net/view/9cac5c08
2021-03-08 22:12:44 +0100 <heck-to-the-gnom> But I'm always willing to try it
2021-03-08 22:16:34 +0100 <geekosaur> wreverse isn't being done under windows, so (a) isn't refreshing (b) potentially can end up out of sync with what's on the display (or make what follows be out of sync)
2021-03-08 22:17:21 +0100 <geekosaur> I think the separate W.shift and W.view invocations want to be combined, e.g. withNthWorkspace (W.shift <+> W.view) i
2021-03-08 22:17:34 +0100 <heck-to-the-gnom> wreverse is calling windows itself
2021-03-08 22:17:46 +0100 <geekosaur> may require them to be swapped, I never remember what order they have to be in :)
2021-03-08 22:17:55 +0100ajc(~ajc@69.231.232.79)
2021-03-08 22:18:14 +0100 <geekosaur> oh, sorry
2021-03-08 22:19:09 +0100 <geekosaur> you may need to rewrite those so you can do it all in one call, then, because windows will refresh and needs to so that the stack matches the screen
2021-03-08 22:19:57 +0100 <heck-to-the-gnom> No instance for `(Monoid (W.StackSet WorkspaceId (Layout Window) Window ScreenId ScreenDetail))` arising from a use of `<+>` <- the <+> tip caused this
2021-03-08 22:21:55 +0100 <geekosaur> the monoid would be the whole W.modify' invocation
2021-03-08 22:24:40 +0100 <geekosaur> which in your case is flip W.modify' ws (...)
2021-03-08 22:37:54 +0100 <heck-to-the-gnom> I copied & modified `wreverse` to not use `windows`, and it said I needed type `String -> WindowSet -> WindowSet`. So, I added an ignored parameter of the supposed type String. The `No instance ...` error occurred again, lastly, changing the order doesn't seem to do much either.
2021-03-08 22:41:01 +0100 <geekosaur> ypou still want it to require windows. the idea is to take `windows thingA >> windows thingB` and turn it into `windows (thingB <+> thingA)`
2021-03-08 22:41:31 +0100 <geekosaur> so you get only one refresh
2021-03-08 22:43:17 +0100geekosaur(82650c7a@130.101.12.122) (Quit: Connection closed)
2021-03-08 22:46:05 +0100 <heck-to-the-gnom> I'm trying to do `windows thingA >> withNthWorkspace thingB int` where the refresh occurs at the very end
2021-03-08 22:52:54 +0100ADG1089__(~aditya@223.226.235.12) (Remote host closed the connection)
2021-03-08 22:53:03 +0100 <heck-to-the-gnom> However, having <+> may help me in the future, thx
2021-03-08 23:00:37 +0100 <heck-to-the-gnom> oh, huh, apparently `windows` & `withNthWorkspace` can be monoid combined (not sure if that's the right terminology, but that sounds right). Turns out that withNthWorkspace calls `windows` itself, so I'll have to copy that and modify it to suit my needs.
2021-03-08 23:01:18 +0100daphnis(~daphnis@cm-84.214.179.98.getinternet.no) (Ping timeout: 245 seconds)
2021-03-08 23:35:08 +0100mc47(~yecinem@89.246.239.190) (Remote host closed the connection)
2021-03-08 23:49:04 +0100seschwar(~seschwar@unaffiliated/seschwar) (Quit: :wq)