| 2021-03-24 00:08:57 +0100 | wonko7 | (~wonko7@45.15.17.60) (Ping timeout: 264 seconds) |
| 2021-03-24 00:26:26 +0100 | kelnoky | (~shao@ip1f128ba7.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
| 2021-03-24 00:44:26 +0100 | thc202 | (~thc202@unaffiliated/thc202) (Ping timeout: 240 seconds) |
| 2021-03-24 02:00:38 +0100 | notis | (~notis@130.43.124.71.dsl.dyn.forthnet.gr) (Ping timeout: 264 seconds) |
| 2021-03-24 02:28:40 +0100 | gazler_ | (~gazler@195.107.2.81.in-addr.arpa) |
| 2021-03-24 02:30:50 +0100 | gazler | (~gazler@195.107.2.81.in-addr.arpa) (Ping timeout: 256 seconds) |
| 2021-03-24 03:25:10 +0100 | GZJ0X_ | (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 2021-03-24 03:25:30 +0100 | GZJ0X_ | (~gzj@unaffiliated/gzj) |
| 2021-03-24 04:13:08 +0100 | GZJ0X_ | (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 2021-03-24 04:13:29 +0100 | GZJ0X_ | (~gzj@unaffiliated/gzj) |
| 2021-03-24 04:45:36 +0100 | theDon | (~td@muedsl-82-207-238-243.citykom.de) (Ping timeout: 265 seconds) |
| 2021-03-24 04:47:08 +0100 | theDon | (~td@94.134.91.247) |
| 2021-03-24 05:09:57 +0100 | AlexNevesky | (~brtt@2600:8804:8689:3f00::8cf8) |
| 2021-03-24 05:10:35 +0100 | <AlexNevesky> | okay i almost have xmonad the way i want. is there a way for me to have any fullscreen game to automatically cover xmobar so that my steam games will display correctly please? |
| 2021-03-24 05:38:27 +0100 | ChubaDuba | (~ChubaDuba@5.167.115.106) |
| 2021-03-24 05:40:40 +0100 | <heck-to-the-gnom> | https://hackage.haskell.org/package/xmonad-contrib-0.16/docs/XMonad-Hooks-EwmhDesktops.html |
| 2021-03-24 05:42:20 +0100 | <heck-to-the-gnom> | Oh, and I've said "I'm almost done configuring XMonad", then I find another thing I want added, or have another idea that needs implementing/researching. |
| 2021-03-24 05:42:40 +0100 | <heck-to-the-gnom> | But, the overall experience of my XMonad config has gotten drastically better over the months I've been using it. |
| 2021-03-24 05:44:28 +0100 | <heck-to-the-gnom> | You could also do: (insert link to X.?.smartBorders here) and this: (this is the manual way to fullscreen something) ` fullFloat = flip W.float $ W.RationalRect 0 0 1 1 |
| 2021-03-24 05:44:28 +0100 | <heck-to-the-gnom> | ` (that's an `X ()` btw) |
| 2021-03-24 06:20:10 +0100 | xaltsc | (~xaltsc@unaffiliated/xaltsc) |
| 2021-03-24 07:31:54 +0100 | <Solid> | mc47[m]: I wonder if we have to ask people for permission before we post their videos there |
| 2021-03-24 07:32:47 +0100 | <Solid> | I think Ethan Schoonover's video is quite nice, but I don't think his linked config compiles anymore |
| 2021-03-24 07:34:14 +0100 | <Solid> | I also think this ( https://www.youtube.com/watch?v=63MpfyZUcrU ) and the followup are quite good |
| 2021-03-24 07:40:34 +0100 | thoros | (~thoros@194-166-47-167.hdsl.highway.telekom.at) |
| 2021-03-24 07:41:44 +0100 | ChubaDuba | (~ChubaDuba@5.167.115.106) (Quit: WeeChat 1.6) |
| 2021-03-24 07:45:22 +0100 | palo1 | (~weechat@c-base/crew/palo) |
| 2021-03-24 07:46:18 +0100 | xaltsc | (~xaltsc@unaffiliated/xaltsc) (Ping timeout: 245 seconds) |
| 2021-03-24 07:48:47 +0100 | palo | (~weechat@c-base/crew/palo) (Ping timeout: 265 seconds) |
| 2021-03-24 07:48:47 +0100 | palo1 | palo |
| 2021-03-24 07:51:58 +0100 | notis | (~notis@130.43.124.71.dsl.dyn.forthnet.gr) |
| 2021-03-24 07:54:34 +0100 | materiyolo | (~materiyol@112.204.160.151) |
| 2021-03-24 07:58:50 +0100 | notis | (~notis@130.43.124.71.dsl.dyn.forthnet.gr) (Ping timeout: 264 seconds) |
| 2021-03-24 08:08:52 +0100 | xaltsc | (~xaltsc@unaffiliated/xaltsc) |
| 2021-03-24 08:19:57 +0100 | notis | (~notis@85.203.44.142) |
| 2021-03-24 08:21:34 +0100 | thoros | (~thoros@194-166-47-167.hdsl.highway.telekom.at) (Quit: WeeChat 3.0.1) |
| 2021-03-24 08:22:20 +0100 | eblip | (~eblip@unaffiliated/eblip) (Ping timeout: 244 seconds) |
| 2021-03-24 08:22:37 +0100 | thoros | (~thoros@194-166-47-167.hdsl.highway.telekom.at) |
| 2021-03-24 08:23:36 +0100 | eblip | (~eblip@unaffiliated/eblip) |
| 2021-03-24 08:26:10 +0100 | growpotkin | (~growpotki@130-45-30-154.dyn.grandenetworks.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-03-24 08:27:23 +0100 | idhugo | (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) |
| 2021-03-24 08:28:42 +0100 | cfricke | (~cfricke@unaffiliated/cfricke) |
| 2021-03-24 08:29:56 +0100 | cfricke | (~cfricke@unaffiliated/cfricke) (Client Quit) |
| 2021-03-24 08:35:06 +0100 | materiyolo | (~materiyol@112.204.160.151) (Quit: WeeChat 3.0.1) |
| 2021-03-24 08:38:22 +0100 | novas0x2a1 | (~blah@157-131-126-102.fiber.dynamic.sonic.net) (Read error: Connection reset by peer) |
| 2021-03-24 08:38:31 +0100 | hacxman | (~hexo@gateway/tor-sasl/hexo) |
| 2021-03-24 08:38:32 +0100 | sorki | (~sorki@gateway/tor-sasl/sorki) |
| 2021-03-24 08:39:03 +0100 | hexo | (~hexo@gateway/tor-sasl/hexo) (Ping timeout: 268 seconds) |
| 2021-03-24 08:39:03 +0100 | srk | (~sorki@gateway/tor-sasl/sorki) (Ping timeout: 268 seconds) |
| 2021-03-24 08:39:04 +0100 | hacxman | hexo |
| 2021-03-24 08:39:47 +0100 | novas0x2a | (~blah@157-131-126-102.fiber.dynamic.sonic.net) |
| 2021-03-24 08:41:27 +0100 | sorki | srk |
| 2021-03-24 08:44:44 +0100 | cfricke | (~cfricke@unaffiliated/cfricke) |
| 2021-03-24 08:49:26 +0100 | AlexNevesky | (~brtt@2600:8804:8689:3f00::8cf8) (Quit: WeeChat 3.1) |
| 2021-03-24 09:01:32 +0100 | evanjs | (~evanjs@075-129-098-007.res.spectrum.com) (Read error: Connection reset by peer) |
| 2021-03-24 09:04:06 +0100 | idhugo | (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 256 seconds) |
| 2021-03-24 09:05:05 +0100 | evanjs | (~evanjs@075-129-098-007.res.spectrum.com) |
| 2021-03-24 09:15:17 +0100 | idhugo | (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) |
| 2021-03-24 09:21:03 +0100 | idhugo | (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 256 seconds) |
| 2021-03-24 09:35:39 +0100 | dawiss | (~dawiss@178.43.197.203.ipv4.supernova.orange.pl) |
| 2021-03-24 09:37:05 +0100 | mc47 | (~yecinem@89.246.239.190) |
| 2021-03-24 09:38:20 +0100 | idhugo | (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) |
| 2021-03-24 09:39:14 +0100 | xaltsc | (~xaltsc@unaffiliated/xaltsc) (Ping timeout: 256 seconds) |
| 2021-03-24 09:41:35 +0100 | <mc47> | Solid the videos I added were already in the website |
| 2021-03-24 09:41:40 +0100 | <mc47> | Except the one from distrotube |
| 2021-03-24 09:42:04 +0100 | <Solid> | mc47: I was specifically talking about that one |
| 2021-03-24 09:42:14 +0100 | <mc47> | I'm not sure if we *have* to ask for permission, they're youtube videos |
| 2021-03-24 09:42:23 +0100 | <Solid> | that is true I suppose |
| 2021-03-24 09:42:56 +0100 | <mc47> | I'll get in touch anyway |
| 2021-03-24 09:52:26 +0100 | notis | (~notis@85.203.44.142) (Ping timeout: 240 seconds) |
| 2021-03-24 09:53:30 +0100 | ChubaDuba | (~ChubaDuba@46.147.116.169) |
| 2021-03-24 09:56:50 +0100 | thc202 | (~thc202@unaffiliated/thc202) |
| 2021-03-24 10:06:00 +0100 | wonko7 | (~wonko7@45.15.17.60) |
| 2021-03-24 10:11:36 +0100 | xaltsc | (~xaltsc@unaffiliated/xaltsc) |
| 2021-03-24 10:18:17 +0100 | novas0x2a | (~blah@157-131-126-102.fiber.dynamic.sonic.net) (Read error: Connection reset by peer) |
| 2021-03-24 10:18:22 +0100 | novas0x2a1 | (~blah@157-131-126-102.fiber.dynamic.sonic.net) |
| 2021-03-24 10:19:56 +0100 | materiyolo | (~materiyol@112.204.160.151) |
| 2021-03-24 10:27:19 +0100 | xaltsc | (~xaltsc@unaffiliated/xaltsc) (Ping timeout: 265 seconds) |
| 2021-03-24 10:36:48 +0100 | GZJ0X__ | (~gzj@unaffiliated/gzj) |
| 2021-03-24 10:39:46 +0100 | GZJ0X_ | (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 2021-03-24 10:49:20 +0100 | xaltsc | (~xaltsc@unaffiliated/xaltsc) |
| 2021-03-24 11:43:07 +0100 | GZJ0X__ | (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 2021-03-24 11:43:28 +0100 | GZJ0X__ | (~gzj@unaffiliated/gzj) |
| 2021-03-24 11:44:07 +0100 | GZJ0X__ | (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 2021-03-24 11:44:28 +0100 | GZJ0X__ | (~gzj@unaffiliated/gzj) |
| 2021-03-24 11:49:45 +0100 | xaltsc | (~xaltsc@unaffiliated/xaltsc) (Ping timeout: 264 seconds) |
| 2021-03-24 12:04:39 +0100 | Nahra | (~user@static.161.95.99.88.clients.your-server.de) |
| 2021-03-24 12:05:52 +0100 | hacxman | (~hexo@gateway/tor-sasl/hexo) |
| 2021-03-24 12:06:15 +0100 | hexo | (~hexo@gateway/tor-sasl/hexo) (Ping timeout: 268 seconds) |
| 2021-03-24 12:06:16 +0100 | hacxman | hexo |
| 2021-03-24 12:15:13 +0100 | Nahra | (~user@static.161.95.99.88.clients.your-server.de) (Remote host closed the connection) |
| 2021-03-24 12:30:06 +0100 | xaltsc | (~xaltsc@unaffiliated/xaltsc) |
| 2021-03-24 12:44:38 +0100 | davemq | (~davemq@99-179-0-50.lightspeed.austtx.sbcglobal.net) (Read error: Connection reset by peer) |
| 2021-03-24 12:45:54 +0100 | davemq | (~davemq@99-179-0-50.lightspeed.austtx.sbcglobal.net) |
| 2021-03-24 12:46:48 +0100 | davemq | (~davemq@99-179-0-50.lightspeed.austtx.sbcglobal.net) (Read error: Connection reset by peer) |
| 2021-03-24 12:47:09 +0100 | davemq | (~davemq@99-179-0-50.lightspeed.austtx.sbcglobal.net) |
| 2021-03-24 12:59:47 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2021-03-24 13:03:47 +0100 | <mc47> | does anyone know what "catch" is? It's mentioned in the website under verification tools, and the link there is dead |
| 2021-03-24 13:04:46 +0100 | xaltsc | (~xaltsc@unaffiliated/xaltsc) (Ping timeout: 244 seconds) |
| 2021-03-24 13:05:45 +0100 | <Solid> | what's the link? |
| 2021-03-24 13:07:47 +0100 | <mc47> | https://www-users.cs.york.ac.uk/~ndm/catch/ |
| 2021-03-24 13:07:56 +0100 | <mc47> | It's in here https://xmonad.org/about.html |
| 2021-03-24 13:08:37 +0100 | <Solid> | ah |
| 2021-03-24 13:08:59 +0100 | <Solid> | searx brings up this: https://github.com/ndmitchell/catch |
| 2021-03-24 13:09:14 +0100 | geekosaur | (82650c7a@130.101.12.122) |
| 2021-03-24 13:10:09 +0100 | <Solid> | I wouldn't bother linking to it, it's abandoned |
| 2021-03-24 13:11:00 +0100 | <mc47> | There's this blogpost about it from 2007 |
| 2021-03-24 13:11:32 +0100 | <Solid> | if you want to link to something about formal verification I think this https://webspace.science.uu.nl/~swier004/publications/2012-haskell.pdf is much better |
| 2021-03-24 13:11:33 +0100 | <mc47> | http://neilmitchell.blogspot.com/2007/05/does-xmonad-crash.html |
| 2021-03-24 13:12:07 +0100 | <mc47> | yeah that seems better |
| 2021-03-24 13:12:12 +0100 | <mc47> | thanks! |
| 2021-03-24 13:17:18 +0100 | xaltsc | (~xaltsc@unaffiliated/xaltsc) |
| 2021-03-24 13:18:29 +0100 | Nahra | (~Nahra@unaffiliated/nahra) |
| 2021-03-24 13:22:42 +0100 | geekosaur | (82650c7a@130.101.12.122) (Ping timeout: 240 seconds) |
| 2021-03-24 13:38:58 +0100 | geekosaur | (82650c7a@130.101.12.122) |
| 2021-03-24 13:40:01 +0100 | ChubaDuba | (~ChubaDuba@46.147.116.169) (Ping timeout: 256 seconds) |
| 2021-03-24 13:48:33 +0100 | xaltsc | (~xaltsc@unaffiliated/xaltsc) (Ping timeout: 264 seconds) |
| 2021-03-24 13:55:47 +0100 | Nahra` | (~user@static.161.95.99.88.clients.your-server.de) |
| 2021-03-24 13:58:48 +0100 | Nahra | (~Nahra@unaffiliated/nahra) (Quit: leaving) |
| 2021-03-24 13:59:19 +0100 | Nahra` | (~user@static.161.95.99.88.clients.your-server.de) (Remote host closed the connection) |
| 2021-03-24 14:00:28 +0100 | xaltsc | (~xaltsc@unaffiliated/xaltsc) |
| 2021-03-24 14:00:34 +0100 | Nahra | (~user@unaffiliated/nahra) |
| 2021-03-24 14:07:11 +0100 | GZJ0X__ | (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 2021-03-24 14:07:33 +0100 | GZJ0X__ | (~gzj@unaffiliated/gzj) |
| 2021-03-24 14:11:11 +0100 | GZJ0X__ | (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 2021-03-24 14:11:31 +0100 | GZJ0X__ | (~gzj@unaffiliated/gzj) |
| 2021-03-24 14:12:12 +0100 | GZJ0X__ | (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 2021-03-24 14:12:32 +0100 | GZJ0X__ | (~gzj@unaffiliated/gzj) |
| 2021-03-24 14:13:09 +0100 | GZJ0X__ | (~gzj@unaffiliated/gzj) (Read error: Connection reset by peer) |
| 2021-03-24 14:13:30 +0100 | GZJ0X__ | (~gzj@unaffiliated/gzj) |
| 2021-03-24 14:15:12 +0100 | GZJ0X__ | (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 2021-03-24 14:15:35 +0100 | GZJ0X__ | (~gzj@unaffiliated/gzj) |
| 2021-03-24 14:17:11 +0100 | GZJ0X__ | (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 2021-03-24 14:17:34 +0100 | GZJ0X__ | (~gzj@unaffiliated/gzj) |
| 2021-03-24 14:19:14 +0100 | GZJ0X__ | (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 2021-03-24 14:43:29 +0100 | xaltsc | (~xaltsc@unaffiliated/xaltsc) (Ping timeout: 265 seconds) |
| 2021-03-24 14:45:44 +0100 | geekosaur | (82650c7a@130.101.12.122) (Quit: Connection closed) |
| 2021-03-24 14:49:24 +0100 | idhugo_ | (~idhugo@80-62-117-136-mobile.dk.customer.tdc.net) |
| 2021-03-24 14:52:14 +0100 | idhugo | (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 264 seconds) |
| 2021-03-24 14:55:48 +0100 | xaltsc | (~xaltsc@unaffiliated/xaltsc) |
| 2021-03-24 15:04:48 +0100 | <mc47> | And it's live |
| 2021-03-24 15:04:48 +0100 | <mc47> | https://themc47.github.io/xmonad-web/index.html |
| 2021-03-24 15:05:08 +0100 | <mc47> | I've opened an issue so we can discuss https://github.com/xmonad/xmonad-web/issues/19 |
| 2021-03-24 15:08:33 +0100 | <Solid> | \o/ |
| 2021-03-24 15:09:22 +0100 | seschwar | (~seschwar@unaffiliated/seschwar) |
| 2021-03-24 15:16:10 +0100 | <Solid> | the fact that everything is just markdown gives me hope we can migrate the wiki relatively painlessly |
| 2021-03-24 15:16:13 +0100 | azg256 | (~azg256@78-56-98-5.static.zebra.lt) |
| 2021-03-24 15:16:29 +0100 | fakecrafter | (~fakecraft@aftr-37-201-168-108.unity-media.net) |
| 2021-03-24 15:18:02 +0100 | <Liskni_si> | I was actually thinking that we'd migrate the wiki to the github wiki where it's freely editable, under something like a "old haskell.org wiki content" subdirectory, and then hope it organically transforms itself into an up-to-date wiki |
| 2021-03-24 15:25:20 +0100 | <Solid> | aha, that would probably be equally good |
| 2021-03-24 15:26:15 +0100 | <Solid> | perhaps even better because people don't need to open pr's for trivial things |
| 2021-03-24 15:26:27 +0100 | <Liskni_si> | yes, that was the idea |
| 2021-03-24 15:27:02 +0100 | <Liskni_si> | it'd also be good to cherry-pick the useful bits to the website, but ease of contribution would be my primary goal here |
| 2021-03-24 15:27:41 +0100 | dawiss | (~dawiss@178.43.197.203.ipv4.supernova.orange.pl) (Ping timeout: 256 seconds) |
| 2021-03-24 15:29:16 +0100 | dawiss | (~dawiss@185-119-185-201.actus-info.pl) |
| 2021-03-24 15:40:32 +0100 | woffs | (3cd46299b2@woffs.de) |
| 2021-03-24 15:41:43 +0100 | xaltsc | (~xaltsc@unaffiliated/xaltsc) (Ping timeout: 245 seconds) |
| 2021-03-24 15:48:48 +0100 | fakecrafter | (~fakecraft@aftr-37-201-168-108.unity-media.net) (Quit: Lost terminal) |
| 2021-03-24 15:52:35 +0100 | <Liskni_si> | what's your opinion on seeking approval from AusCyberman on my PR? a bit of organizational debt again: historically all/most submissions to -contrib carry the author name in the maintainer field, but they don't automatically get any authority to actually maintain said modules, and in this particular case I'd be very uncomfortable if they got push access |
| 2021-03-24 15:54:45 +0100 | dawiss | (~dawiss@185-119-185-201.actus-info.pl) (Ping timeout: 244 seconds) |
| 2021-03-24 15:56:22 +0100 | dawiss | (~dawiss@178.43.197.203.ipv4.supernova.orange.pl) |
| 2021-03-24 16:04:12 +0100 | xaltsc | (~xaltsc@unaffiliated/xaltsc) |
| 2021-03-24 16:05:33 +0100 | <Solid> | I've never regarded the maintainer field as much more than than a byproduct of the kind of template people chose to follow |
| 2021-03-24 16:05:44 +0100 | <Solid> | I don't think it matters very much |
| 2021-03-24 16:07:56 +0100 | <Liskni_si> | well I've seen you saying "this is your module, I'm only suggesting a change" on github … :-) |
| 2021-03-24 16:09:31 +0100 | <Solid> | I recall saying that on inital submissions only :> |
| 2021-03-24 16:09:51 +0100 | <Liskni_si> | oh, okay |
| 2021-03-24 16:19:35 +0100 | MrElendig | (~Urist@archlinux/op/pdpc.supporter.active.mrelendig) (Ping timeout: 240 seconds) |
| 2021-03-24 16:20:26 +0100 | kelnoky | (~shao@ip1f128ba7.dynamic.kabel-deutschland.de) |
| 2021-03-24 16:21:21 +0100 | MrElendig | (~Urist@archlinux/op/pdpc.supporter.active.mrelendig) |
| 2021-03-24 16:24:04 +0100 | <mc47> | Liskni_si having the wiki on GitHub is also an option, I really don't have a strong opinion here. I agree on making contributions easy |
| 2021-03-24 16:24:48 +0100 | <mc47> | I tmight be cool if AusCyberman gets mentioned there, that might motivate them to be active :) but I don't think approval is necessary |
| 2021-03-24 16:25:28 +0100 | yakamo | (~yakamo@167.71.77.160) () |
| 2021-03-24 16:26:46 +0100 | <Liskni_si> | I pinged them in the original PR |
| 2021-03-24 16:28:15 +0100 | <mc47> | oh alright, that's cool |
| 2021-03-24 16:30:23 +0100 | Waifod | (~Waifod@91.106.123.186) |
| 2021-03-24 16:31:20 +0100 | s00pcan | (~chris@075-133-056-178.res.spectrum.com) |
| 2021-03-24 16:31:43 +0100 | thc202 | (~thc202@unaffiliated/thc202) (Read error: Connection reset by peer) |
| 2021-03-24 16:32:54 +0100 | idhugo_ | (~idhugo@80-62-117-136-mobile.dk.customer.tdc.net) (Ping timeout: 256 seconds) |
| 2021-03-24 16:37:33 +0100 | s00pcan | (~chris@075-133-056-178.res.spectrum.com) (Ping timeout: 272 seconds) |
| 2021-03-24 16:38:08 +0100 | s00pcan | (~chris@107.181.165.217) |
| 2021-03-24 16:39:54 +0100 | growpotkin | (~growpotki@130-45-30-154.dyn.grandenetworks.net) |
| 2021-03-24 16:43:37 +0100 | thc202 | (~thc202@unaffiliated/thc202) |
| 2021-03-24 16:46:26 +0100 | materiyolo | (~materiyol@112.204.160.151) (Ping timeout: 240 seconds) |
| 2021-03-24 16:47:57 +0100 | kelnoky | (~shao@ip1f128ba7.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
| 2021-03-24 16:50:10 +0100 | geekosaur | (ac3a8f06@172.58.143.6) |
| 2021-03-24 16:51:19 +0100 | materiyolo | (~materiyol@112.204.174.249) |
| 2021-03-24 16:54:41 +0100 | <woffs> | Hi. I'd like to tweak layout parameters depending on actual screen size (or aspect). Is it possible to query things like displayWidth within the layoutHook? And how to query the currently active screen? |
| 2021-03-24 16:55:45 +0100 | xaltsc | (~xaltsc@unaffiliated/xaltsc) (Ping timeout: 264 seconds) |
| 2021-03-24 16:56:02 +0100 | <geekosaur> | the layout is passed the screen rectangle (as modified by e.g. docks, for an inner layout) |
| 2021-03-24 16:57:25 +0100 | <geekosaur> | see also XMonad.Layout.PerScreen |
| 2021-03-24 17:02:42 +0100 | <woffs> | ifWider is exactly what I was looking for. thanks geekosaur ! |
| 2021-03-24 17:08:28 +0100 | materiyolo | (~materiyol@112.204.174.249) (Quit: WeeChat 3.0.1) |
| 2021-03-24 17:11:18 +0100 | azg256 | (~azg256@78-56-98-5.static.zebra.lt) (Quit: leaving) |
| 2021-03-24 17:16:06 +0100 | azg256 | (~azg256@78-56-98-5.static.zebra.lt) |
| 2021-03-24 17:17:12 +0100 | notis | (~notis@85.203.44.142) |
| 2021-03-24 17:23:54 +0100 | idhugo_ | (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) |
| 2021-03-24 17:25:22 +0100 | jato_ | jato |
| 2021-03-24 17:31:23 +0100 | <woffs> | and how to stack multiple toggleLayouts ? Do I have to use MultiToggle? |
| 2021-03-24 17:34:46 +0100 | <Solid> | ToggleLayout has a LayoutClass instance |
| 2021-03-24 17:34:51 +0100 | <Solid> | things should "just work" |
| 2021-03-24 17:39:56 +0100 | de-vri-es_ | (~de-vri-es@voyager.de-vri.es) (Ping timeout: 240 seconds) |
| 2021-03-24 17:41:33 +0100 | de-vri-es_ | (~de-vri-es@voyager.de-vri.es) |
| 2021-03-24 17:45:29 +0100 | <Solid> | why is haddock being stupid |
| 2021-03-24 17:45:31 +0100 | <Solid> | sigh |
| 2021-03-24 17:47:18 +0100 | Solid | is sorry for the pr noise, but he can't just download ghc 8.4.4 and doesn't have the time to build it at the moment |
| 2021-03-24 17:49:41 +0100 | palo | (~weechat@c-base/crew/palo) (Quit: WeeChat 2.9) |
| 2021-03-24 17:50:03 +0100 | notis | (~notis@85.203.44.142) (Ping timeout: 265 seconds) |
| 2021-03-24 17:50:21 +0100 | idhugo_ | (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 264 seconds) |
| 2021-03-24 17:51:34 +0100 | palo | (~weechat@c-base/crew/palo) |
| 2021-03-24 17:51:48 +0100 | notis | (~notis@85.203.44.142) |
| 2021-03-24 17:56:42 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2021-03-24 17:57:08 +0100 | geekosaur | (ac3a8f06@172.58.143.6) (Quit: Connection closed) |
| 2021-03-24 18:01:33 +0100 | xaltsc | (~xaltsc@unaffiliated/xaltsc) |
| 2021-03-24 18:17:22 +0100 | <Solid> | oh apparently it's just a limitation of haddock for 8.4 ( https://github.com/haskell/haddock/issues/836 ) |
| 2021-03-24 18:33:35 +0100 | s00pcan | (~chris@107.181.165.217) (Ping timeout: 240 seconds) |
| 2021-03-24 18:48:26 +0100 | s00pcan | (~chris@075-133-056-178.res.spectrum.com) |
| 2021-03-24 18:52:31 +0100 | s00pcan | (~chris@075-133-056-178.res.spectrum.com) (Read error: Connection reset by peer) |
| 2021-03-24 18:53:59 +0100 | <Liskni_si> | you could also workaround it by making it an actual record |
| 2021-03-24 18:56:56 +0100 | <Solid> | oh yeah that would have probably also parsed correctly |
| 2021-03-24 18:56:58 +0100 | <Solid> | derp |
| 2021-03-24 18:57:02 +0100 | <Solid> | already pushed the changes now |
| 2021-03-24 18:57:21 +0100 | <Solid> | I just noticed another thing that I want to add to this though, so will revisit that module anyways |
| 2021-03-24 19:02:01 +0100 | azg256 | (~azg256@78-56-98-5.static.zebra.lt) (Quit: leaving) |
| 2021-03-24 19:03:17 +0100 | azg256 | (~azg256@78-56-98-5.static.zebra.lt) |
| 2021-03-24 19:18:49 +0100 | kelnoky | (~shao@ip1f128ba7.dynamic.kabel-deutschland.de) |
| 2021-03-24 19:33:37 +0100 | geekosaur | (42d52137@66.213.33.55) |
| 2021-03-24 19:34:34 +0100 | s00pcan | (~chris@075-133-056-178.res.spectrum.com) |
| 2021-03-24 19:56:35 +0100 | azg256 | (~azg256@78-56-98-5.static.zebra.lt) (Quit: leaving) |
| 2021-03-24 20:10:42 +0100 | geekosaur | (42d52137@66.213.33.55) (Ping timeout: 240 seconds) |
| 2021-03-24 20:14:30 +0100 | geekosaur | (42d52137@66.213.33.55) |
| 2021-03-24 20:22:40 +0100 | dawiss | (~dawiss@178.43.197.203.ipv4.supernova.orange.pl) (Remote host closed the connection) |
| 2021-03-24 21:00:48 +0100 | <heck-to-the-gnom> | Occasionally, I press a keybind of mine while I'm inside a dropdown menu, but it doesn't work, I need to exit the dropdown menu, then press the keybind, how would I overcome this? |
| 2021-03-24 21:01:21 +0100 | <geekosaur> | you can't; dropdown menus grab the keyboard |
| 2021-03-24 21:02:37 +0100 | <heck-to-the-gnom> | there's no workaround? |
| 2021-03-24 21:02:38 +0100 | <geekosaur> | there might conceivably be a way to tell some toolkit (e.g. gtk3) not to do a keyboard grab, but that will probably cause other problems |
| 2021-03-24 21:02:57 +0100 | <geekosaur> | and would be specific to that toolkit, so then you'd have to find a similar hack for Qt, etc. |
| 2021-03-24 21:03:07 +0100 | <heck-to-the-gnom> | What about games? Don't those do keyboard grabs? |
| 2021-03-24 21:03:16 +0100 | <geekosaur> | some do, some don't |
| 2021-03-24 21:03:20 +0100 | <heck-to-the-gnom> | (some of them try for blocking grabs) |
| 2021-03-24 21:04:41 +0100 | <heck-to-the-gnom> | What about intercepting those calls? And checking if it's a dropdown, then changing it to a non-blocking grab? Is that even remotely possible, or related to XMonad in any way? |
| 2021-03-24 21:06:37 +0100 | <geekosaur> | hypothetically possible but outside the scope of xmonad as you may start the application outside of xmonad and what display server it connects to is unrelated to where it was started from |
| 2021-03-24 21:08:01 +0100 | <heck-to-the-gnom> | hm, alright |
| 2021-03-24 21:08:37 +0100 | entropie | (~mit@ip5f59973a.dynamic.kabel-deutschland.de) (Quit: "") |
| 2021-03-24 21:10:22 +0100 | <geekosaur> | also how you'd recognize which grabs to disable would depend on the toolkit |
| 2021-03-24 21:10:52 +0100 | <geekosaur> | meanwhile, at minimum if you ever select a menu item via key, that would stop working |
| 2021-03-24 21:11:26 +0100 | <geekosaur> | and you can't have that back while releasing things so xmonad can be activated, without rewriting that part of the X server |
| 2021-03-24 21:15:58 +0100 | entropie | (~mit@ip5f59973a.dynamic.kabel-deutschland.de) |
| 2021-03-24 21:18:37 +0100 | geekosaur | (42d52137@66.213.33.55) (Quit: Connection closed) |
| 2021-03-24 21:23:43 +0100 | <heck-to-the-gnom> | One can grab keys without blocking other applications, heck, nearly every application does it in every other scenario. |
| 2021-03-24 21:55:10 +0100 | srk | (~sorki@gateway/tor-sasl/sorki) (Ping timeout: 268 seconds) |
| 2021-03-24 21:57:27 +0100 | srk | (~sorki@gateway/tor-sasl/sorki) |
| 2021-03-24 21:59:21 +0100 | thoros | (~thoros@194-166-47-167.hdsl.highway.telekom.at) (Quit: WeeChat 3.0.1) |
| 2021-03-24 22:11:45 +0100 | woffs | (3cd46299b2@woffs.de) () |
| 2021-03-24 22:24:17 +0100 | cfricke | (~cfricke@unaffiliated/cfricke) (Ping timeout: 260 seconds) |
| 2021-03-24 22:36:33 +0100 | notis | (~notis@85.203.44.142) (Ping timeout: 264 seconds) |
| 2021-03-24 22:38:11 +0100 | notis | (~notis@130.43.124.71.dsl.dyn.forthnet.gr) |
| 2021-03-24 22:45:51 +0100 | wonko7 | (~wonko7@45.15.17.60) (Ping timeout: 265 seconds) |
| 2021-03-24 23:09:20 +0100 | fuzzypixelz | (~fuzzypixe@eth-west-pareq2-46-193-4-100.wb.wifirst.net) |
| 2021-03-24 23:09:22 +0100 | fuzzypixelz | (~fuzzypixe@eth-west-pareq2-46-193-4-100.wb.wifirst.net) (Quit: Leaving.) |
| 2021-03-24 23:09:34 +0100 | fuzzypixelz | (~fuzzypixe@eth-west-pareq2-46-193-4-100.wb.wifirst.net) |
| 2021-03-24 23:10:14 +0100 | <fuzzypixelz> | which status bar should I use? People suggest xmobar but is it really feature-rich like polybar for example? |
| 2021-03-24 23:12:19 +0100 | <vrs> | no it's very barebones |
| 2021-03-24 23:12:31 +0100 | <vrs> | has a bunch of useful plugins and is quite flexible though |
| 2021-03-24 23:12:47 +0100 | <fuzzypixelz> | what do you suggest? |
| 2021-03-24 23:13:15 +0100 | <vrs> | never used anything but xmobar since 2012 or so |
| 2021-03-24 23:14:06 +0100 | <vrs> | so, works well enough for me, and blends in well with a terminal-heavy environment |
| 2021-03-24 23:18:09 +0100 | <fuzzypixelz> | thanks |
| 2021-03-24 23:21:22 +0100 | fuzzypixelz | (~fuzzypixe@eth-west-pareq2-46-193-4-100.wb.wifirst.net) () |
| 2021-03-24 23:36:15 +0100 | Waifod | (~Waifod@91.106.123.186) (Ping timeout: 240 seconds) |
| 2021-03-24 23:53:05 +0100 | seschwar | (~seschwar@unaffiliated/seschwar) (Quit: :wq) |