2021-03-08 00:24:53 +0100 | adamik | (~nodelet@unaffiliated/adamik) |
2021-03-08 00:29:14 +0100 | xaltsc | (~xaltsc@unaffiliated/xaltsc) (Ping timeout: 258 seconds) |
2021-03-08 01:11:34 +0100 | notis | (~notis@185.51.134.230) (Ping timeout: 260 seconds) |
2021-03-08 01:48:09 +0100 | gzj | (~gzj@unaffiliated/gzj) |
2021-03-08 01:54:27 +0100 | gzj | (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
2021-03-08 02:00:12 +0100 | gzj | (~gzj@unaffiliated/gzj) |
2021-03-08 02:01:55 +0100 | materiyolo | (~materiyol@112.204.160.151) |
2021-03-08 02:26:32 +0100 | gazler_ | (~gazler@195.107.2.81.in-addr.arpa) |
2021-03-08 02:28:52 +0100 | gazler | (~gazler@195.107.2.81.in-addr.arpa) (Ping timeout: 276 seconds) |
2021-03-08 02:30:05 +0100 | gzj | (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
2021-03-08 02:30:26 +0100 | gzj | (~gzj@unaffiliated/gzj) |
2021-03-08 03:10:09 +0100 | Waifod | (~Waifod@91.106.123.186) (Ping timeout: 264 seconds) |
2021-03-08 03:11:46 +0100 | Waifod | (~Waifod@91.106.123.186) |
2021-03-08 03:16:23 +0100 | adamik | (~nodelet@unaffiliated/adamik) (Quit: leaving) |
2021-03-08 03:29:43 +0100 | kelnoky | (~shao@ip1f1285ec.dynamic.kabel-deutschland.de) (Quit: WeeChat 3.0.1) |
2021-03-08 03:30:05 +0100 | gzj | (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
2021-03-08 03:30:09 +0100 | kelnoky | (~shao@ip1f1285ec.dynamic.kabel-deutschland.de) |
2021-03-08 03:30:19 +0100 | kelnoky | (~shao@ip1f1285ec.dynamic.kabel-deutschland.de) (Client Quit) |
2021-03-08 03:30:27 +0100 | gzj | (~gzj@unaffiliated/gzj) |
2021-03-08 03:31:09 +0100 | kelnoky | (~shao@ip1f1285ec.dynamic.kabel-deutschland.de) |
2021-03-08 03:31:26 +0100 | kelnoky | (~shao@ip1f1285ec.dynamic.kabel-deutschland.de) (Client Quit) |
2021-03-08 04:16:05 +0100 | gzj | (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
2021-03-08 04:16:27 +0100 | gzj | (~gzj@unaffiliated/gzj) |
2021-03-08 04:39:39 +0100 | theDon | (~td@94.134.91.77) (Ping timeout: 246 seconds) |
2021-03-08 04:41:34 +0100 | theDon | (~td@94.134.91.237) |
2021-03-08 05:04:32 +0100 | adamik | (~nodelet@unaffiliated/adamik) |
2021-03-08 05:46:57 +0100 | adamik | (~nodelet@unaffiliated/adamik) (Quit: leaving) |
2021-03-08 05:52:08 +0100 | adamik | (~nodelet@unaffiliated/adamik) |
2021-03-08 06:01:06 +0100 | gzj | (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
2021-03-08 06:01:26 +0100 | gzj | (~gzj@unaffiliated/gzj) |
2021-03-08 07:06:55 +0100 | palo1 | (~weechat@c-base/crew/palo) |
2021-03-08 07:10:09 +0100 | palo | (~weechat@c-base/crew/palo) (Ping timeout: 264 seconds) |
2021-03-08 07:10:09 +0100 | palo1 | palo |
2021-03-08 07:11:05 +0100 | gzj | (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
2021-03-08 07:11:24 +0100 | gzj | (~gzj@unaffiliated/gzj) |
2021-03-08 07:39:14 +0100 | Waifod | (~Waifod@91.106.123.186) (Ping timeout: 245 seconds) |
2021-03-08 07:53:48 +0100 | materiyolo | (~materiyol@112.204.160.151) (Quit: WeeChat 3.0.1) |
2021-03-08 08:01:05 +0100 | gzj | (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
2021-03-08 08:01:27 +0100 | gzj | (~gzj@unaffiliated/gzj) |
2021-03-08 08:02:10 +0100 | xaltsc | (~xaltsc@unaffiliated/xaltsc) |
2021-03-08 08:03:37 +0100 | daphnis | (~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 +0100 | Waifod | (~Waifod@91.106.123.186) |
2021-03-08 08:41:53 +0100 | ericsagnes | (~ericsagne@2405:6580:0:5100:6d03:d77e:f4e7:30fb) (Ping timeout: 260 seconds) |
2021-03-08 08:44:18 +0100 | ChubaDuba | (~ChubaDuba@176.212.38.171) |
2021-03-08 08:44:43 +0100 | ChubaDuba | (~ChubaDuba@176.212.38.171) (Client Quit) |
2021-03-08 08:50:48 +0100 | cfricke | (~cfricke@unaffiliated/cfricke) |
2021-03-08 08:54:46 +0100 | ericsagnes | (~ericsagne@2405:6580:0:5100:ff67:b2c7:65c7:54f0) |
2021-03-08 09:06:02 +0100 | xaltsc | (~xaltsc@unaffiliated/xaltsc) (Ping timeout: 264 seconds) |
2021-03-08 09:12:15 +0100 | materiyolo | (~materiyol@112.204.160.151) |
2021-03-08 09:12:16 +0100 | ml| | (~ml|@unaffiliated/ml/x-3958674) (Ping timeout: 240 seconds) |
2021-03-08 09:18:11 +0100 | ChubaDuba | (~ChubaDuba@176.212.38.171) |
2021-03-08 09:25:27 +0100 | idhugo | (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) |
2021-03-08 09:25:57 +0100 | ml| | (~ml|@unaffiliated/ml/x-3958674) |
2021-03-08 09:31:05 +0100 | gzj | (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
2021-03-08 09:31:25 +0100 | gzj | (~gzj@unaffiliated/gzj) |
2021-03-08 09:33:19 +0100 | xaltsc | (~xaltsc@unaffiliated/xaltsc) |
2021-03-08 09:35:01 +0100 | notis | (~notis@185.51.134.222) |
2021-03-08 09:41:07 +0100 | mc47 | (~yecinem@89.246.239.190) |
2021-03-08 09:57:57 +0100 | daphnis | (~daphnis@cm-84.214.179.98.getinternet.no) (Ping timeout: 246 seconds) |
2021-03-08 09:58:14 +0100 | daphnis | (~daphnis@vpn-client320.uio.no) |
2021-03-08 10:26:07 +0100 | fakecrafter | (~fakecraft@aftr-37-201-168-120.unity-media.net) |
2021-03-08 10:27:05 +0100 | gzj | (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
2021-03-08 10:27:27 +0100 | gzj | (~gzj@unaffiliated/gzj) |
2021-03-08 10:33:49 +0100 | mc47 | (~yecinem@89.246.239.190) (Remote host closed the connection) |
2021-03-08 10:55:45 +0100 | daphnis | (~daphnis@vpn-client320.uio.no) (Ping timeout: 264 seconds) |
2021-03-08 10:57:35 +0100 | daphnis | (~daphnis@cm-84.214.179.98.getinternet.no) |
2021-03-08 11:00:52 +0100 | thc202 | (~thc202@unaffiliated/thc202) |
2021-03-08 11:10:05 +0100 | gzj | (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
2021-03-08 11:10:27 +0100 | gzj | (~gzj@unaffiliated/gzj) |
2021-03-08 11:17:04 +0100 | xaltsc | (~xaltsc@unaffiliated/xaltsc) (Ping timeout: 260 seconds) |
2021-03-08 11:17:47 +0100 | xaltsc | (~xaltsc@unaffiliated/xaltsc) |
2021-03-08 11:25:57 +0100 | kelnoky | (~shao@ip1f1285ec.dynamic.kabel-deutschland.de) |
2021-03-08 11:26:22 +0100 | ChubaDub1 | (~ChubaDuba@5.165.178.233) |
2021-03-08 11:26:49 +0100 | mc47 | (~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 +0100 | ChubaDuba | (~ChubaDuba@176.212.38.171) (Ping timeout: 260 seconds) |
2021-03-08 11:28:41 +0100 | ChubaDub1 | (~ChubaDuba@5.165.178.233) (Client Quit) |
2021-03-08 11:29:03 +0100 | idhugo_ | (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) |
2021-03-08 11:29:12 +0100 | idhugo | (~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 +0100 | mc47 | (~yecinem@89.246.239.190) (Quit: Leaving) |
2021-03-08 11:49:12 +0100 | ChubaDuba | (~ChubaDuba@5.165.178.233) |
2021-03-08 11:51:19 +0100 | ChubaDuba | (~ChubaDuba@5.165.178.233) (Client Quit) |
2021-03-08 12:13:05 +0100 | gzj | (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
2021-03-08 12:13:25 +0100 | gzj | (~gzj@unaffiliated/gzj) |
2021-03-08 12:16:05 +0100 | gzj | (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
2021-03-08 12:16:25 +0100 | gzj | (~gzj@unaffiliated/gzj) |
2021-03-08 12:33:57 +0100 | kelnoky | (~shao@ip1f1285ec.dynamic.kabel-deutschland.de) (Quit: WeeChat 3.0.1) |
2021-03-08 12:41:21 +0100 | xaltsc | (~xaltsc@unaffiliated/xaltsc) (Ping timeout: 264 seconds) |
2021-03-08 12:42:05 +0100 | gzj | (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
2021-03-08 12:42:31 +0100 | gzj | (~gzj@unaffiliated/gzj) |
2021-03-08 12:44:06 +0100 | gzj | (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
2021-03-08 12:44:30 +0100 | gzj | (~gzj@unaffiliated/gzj) |
2021-03-08 12:45:05 +0100 | gzj | (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
2021-03-08 12:45:29 +0100 | gzj | (~gzj@unaffiliated/gzj) |
2021-03-08 12:54:05 +0100 | gzj | (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
2021-03-08 12:54:25 +0100 | gzj | (~gzj@unaffiliated/gzj) |
2021-03-08 12:55:05 +0100 | gzj | (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
2021-03-08 12:55:28 +0100 | gzj | (~gzj@unaffiliated/gzj) |
2021-03-08 13:46:51 +0100 | fakecrafter | (~fakecraft@aftr-37-201-168-120.unity-media.net) (Ping timeout: 246 seconds) |
2021-03-08 14:03:57 +0100 | ADG1089__ | (~aditya@223.226.235.12) |
2021-03-08 14:07:16 +0100 | geekosaur | (82650c7a@130.101.12.122) |
2021-03-08 14:15:42 +0100 | ml| | (~ml|@unaffiliated/ml/x-3958674) (Ping timeout: 260 seconds) |
2021-03-08 14:22:42 +0100 | daphnis | (~daphnis@cm-84.214.179.98.getinternet.no) (Ping timeout: 260 seconds) |
2021-03-08 14:24:44 +0100 | adamik | (~nodelet@unaffiliated/adamik) (Quit: leaving) |
2021-03-08 14:28:47 +0100 | ml| | (~ml|@unaffiliated/ml/x-3958674) |
2021-03-08 14:51:16 +0100 | ADG1089__ | (~aditya@223.226.235.12) (Remote host closed the connection) |
2021-03-08 15:07:09 +0100 | ml| | (~ml|@unaffiliated/ml/x-3958674) (Ping timeout: 264 seconds) |
2021-03-08 15:08:08 +0100 | gzj | (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
2021-03-08 15:08:31 +0100 | gzj | (~gzj@unaffiliated/gzj) |
2021-03-08 15:09:06 +0100 | gzj | (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
2021-03-08 15:09:30 +0100 | gzj | (~gzj@unaffiliated/gzj) |
2021-03-08 15:13:06 +0100 | gzj | (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
2021-03-08 15:13:26 +0100 | gzj | (~gzj@unaffiliated/gzj) |
2021-03-08 15:14:08 +0100 | gzj | (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
2021-03-08 15:14:29 +0100 | gzj | (~gzj@unaffiliated/gzj) |
2021-03-08 15:15:07 +0100 | gzj | (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
2021-03-08 15:20:15 +0100 | dexter | dexterfoo |
2021-03-08 15:38:45 +0100 | daphnis | (~daphnis@cm-84.214.179.98.getinternet.no) |
2021-03-08 15:49:16 +0100 | geekosaur | (82650c7a@130.101.12.122) (Quit: Connection closed) |
2021-03-08 15:58:28 +0100 | ADG1089__ | (~aditya@223.226.235.12) |
2021-03-08 16:00:26 +0100 | s00pcan | (~chris@075-133-056-178.res.spectrum.com) |
2021-03-08 16:05:33 +0100 | jtcs | (~jtcs@vmi359854.contaboserver.net) (Ping timeout: 256 seconds) |
2021-03-08 16:07:54 +0100 | jtcs | (~jtcs@vmi359854.contaboserver.net) |
2021-03-08 16:08:30 +0100 | ADG1089__ | (~aditya@223.226.235.12) (Read error: Connection reset by peer) |
2021-03-08 16:12:49 +0100 | ft | (~ft@shell.chaostreff-dortmund.de) (Quit: leaving) |
2021-03-08 16:12:59 +0100 | thunderrd | (~thunderrd@183.182.115.72) (Read error: Connection reset by peer) |
2021-03-08 16:13:13 +0100 | ft | (~ft@shell.chaostreff-dortmund.de) |
2021-03-08 16:14:02 +0100 | thunderrd | (~thunderrd@183.182.115.72) |
2021-03-08 16:15:22 +0100 | ml| | (~ml|@unaffiliated/ml/x-3958674) |
2021-03-08 16:17:12 +0100 | adamik | (~nodelet@unaffiliated/adamik) |
2021-03-08 16:27:00 +0100 | mc47 | (~yecinem@89.246.239.190) |
2021-03-08 16:30:17 +0100 | materiyolo | (~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 +0100 | Liskni_si | learned 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 +0100 | seschwar | (~seschwar@unaffiliated/seschwar) |
2021-03-08 17:28:49 +0100 | cfricke | (~cfricke@unaffiliated/cfricke) (Quit: WeeChat 3.0.1) |
2021-03-08 17:41:21 +0100 | growpotkin | (~growpotki@130-45-30-154.dyn.grandenetworks.net) |
2021-03-08 17:48:02 +0100 | xaltsc | (~xaltsc@unaffiliated/xaltsc) |
2021-03-08 17:58:36 +0100 | geekosaur | (82650c7a@130.101.12.122) |
2021-03-08 18:08:49 +0100 | daphnis | (~daphnis@cm-84.214.179.98.getinternet.no) (Ping timeout: 245 seconds) |
2021-03-08 18:52:43 +0100 | geekosaur | (82650c7a@130.101.12.122) (Ping timeout: 240 seconds) |
2021-03-08 18:52:46 +0100 | notis | (~notis@185.51.134.222) (Quit: WeeChat 3.0) |
2021-03-08 18:55:32 +0100 | notis | (~notis@185.51.134.229) |
2021-03-08 19:02:18 +0100 | geekosaur | (82650c7a@130.101.12.122) |
2021-03-08 19:30:14 +0100 | daphnis | (~daphnis@cm-84.214.179.98.getinternet.no) |
2021-03-08 19:51:43 +0100 | geekosaur | (82650c7a@130.101.12.122) (Ping timeout: 240 seconds) |
2021-03-08 20:02:36 +0100 | ADG1089__ | (~aditya@223.226.235.12) |
2021-03-08 20:08:50 +0100 | geekosaur | (82650c7a@130.101.12.122) |
2021-03-08 20:10:19 +0100 | daphnis | (~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 +0100 | themc47 | (~yecinem@89.246.239.190) |
2021-03-08 20:38:09 +0100 | mc47 | (~yecinem@89.246.239.190) (Read error: Connection reset by peer) |
2021-03-08 20:38:10 +0100 | themc47 | (~yecinem@89.246.239.190) (Client Quit) |
2021-03-08 20:41:24 +0100 | mc47 | (~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 +0100 | terrorjack | (~terrorjac@ec2-54-95-39-30.ap-northeast-1.compute.amazonaws.com) (Ping timeout: 246 seconds) |
2021-03-08 21:41:17 +0100 | terrorjack | (~terrorjac@ec2-54-95-39-30.ap-northeast-1.compute.amazonaws.com) |
2021-03-08 21:42:58 +0100 | thc202 | (~thc202@unaffiliated/thc202) (Ping timeout: 260 seconds) |
2021-03-08 21:48:40 +0100 | daphnis | (~daphnis@cm-84.214.179.98.getinternet.no) |
2021-03-08 21:56:16 +0100 | idhugo_ | (~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 +0100 | ajc | (~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 +0100 | geekosaur | (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 +0100 | ADG1089__ | (~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 +0100 | daphnis | (~daphnis@cm-84.214.179.98.getinternet.no) (Ping timeout: 245 seconds) |
2021-03-08 23:35:08 +0100 | mc47 | (~yecinem@89.246.239.190) (Remote host closed the connection) |
2021-03-08 23:49:04 +0100 | seschwar | (~seschwar@unaffiliated/seschwar) (Quit: :wq) |