| 2021-05-14 00:36:35 +0000 | materiyolo | (~materiyol@112.205.57.255) |
| 2021-05-14 01:10:22 +0000 | geekosaur | (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Ping timeout: 240 seconds) |
| 2021-05-14 01:29:03 +0000 | notis | (~notis@2a02:2149:87b6:a300:e002:82a:4fda:33c0) (Ping timeout: 250 seconds) |
| 2021-05-14 01:44:40 +0000 | kajzer | (~kajzer@unaffiliated/kajzer) (Quit: WeeChat 3.1) |
| 2021-05-14 02:14:41 +0000 | mohab | (~mohab@156.223.213.178) (Ping timeout: 260 seconds) |
| 2021-05-14 02:15:26 +0000 | mohab | (~mohab@45.243.104.242) |
| 2021-05-14 02:24:25 +0000 | mohab | (~mohab@45.243.104.242) (Ping timeout: 260 seconds) |
| 2021-05-14 02:26:16 +0000 | mohab | (~mohab@156.223.213.178) |
| 2021-05-14 02:29:53 +0000 | davemq | (~davemq@99-179-0-50.lightspeed.austtx.sbcglobal.net) (Read error: Connection reset by peer) |
| 2021-05-14 02:32:30 +0000 | davemq | (~davemq@99-179-0-50.lightspeed.austtx.sbcglobal.net) |
| 2021-05-14 02:48:56 +0000 | theDon | (~td@muedsl-82-207-238-236.citykom.de) (Ping timeout: 265 seconds) |
| 2021-05-14 02:50:40 +0000 | theDon | (~td@muedsl-82-207-238-178.citykom.de) |
| 2021-05-14 02:57:49 +0000 | kayvan | (~user@52-119-115-185.PUBLIC.monkeybrains.net) |
| 2021-05-14 04:02:03 +0000 | novas0x2a1 | (~blah@157-131-126-102.fiber.dynamic.sonic.net) |
| 2021-05-14 04:03:43 +0000 | novas0x2a | (~blah@157-131-126-102.fiber.dynamic.sonic.net) (Ping timeout: 252 seconds) |
| 2021-05-14 04:53:56 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Quit: leaving) |
| 2021-05-14 04:54:39 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2021-05-14 05:00:55 +0000 | mohab | (~mohab@156.223.213.178) (Ping timeout: 252 seconds) |
| 2021-05-14 05:08:11 +0000 | spider1 | (~spider@vps-951ce37a.vps.ovh.ca) |
| 2021-05-14 05:19:44 +0000 | mohab | (~mohab@156.223.213.178) |
| 2021-05-14 05:19:54 +0000 | thc202 | (~thc202@unaffiliated/thc202) |
| 2021-05-14 05:50:33 +0000 | pmj | (~pmj@p4fe156fa.dip0.t-ipconnect.de) |
| 2021-05-14 05:53:24 +0000 | thoros | (~thoros@193-154-185-59.adsl.highway.telekom.at) |
| 2021-05-14 05:54:07 +0000 | wonko7 | (~wonko7@62.115.229.50) |
| 2021-05-14 05:59:07 +0000 | wonko7 | (~wonko7@62.115.229.50) (Ping timeout: 268 seconds) |
| 2021-05-14 06:00:51 +0000 | werneta_ | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2021-05-14 06:01:04 +0000 | werneta_ | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Client Quit) |
| 2021-05-14 06:08:32 +0000 | abhixec | (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) |
| 2021-05-14 06:17:56 +0000 | abhixec | (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) () |
| 2021-05-14 06:30:11 +0000 | kayvan | (~user@52-119-115-185.PUBLIC.monkeybrains.net) (Ping timeout: 246 seconds) |
| 2021-05-14 06:53:01 +0000 | mohab | (~mohab@156.223.213.178) (Ping timeout: 265 seconds) |
| 2021-05-14 07:01:11 +0000 | cfricke | (~cfricke@unaffiliated/cfricke) |
| 2021-05-14 08:01:42 +0000 | evanjs | (~evanjs@075-129-098-007.res.spectrum.com) (Read error: Connection reset by peer) |
| 2021-05-14 08:07:21 +0000 | evanjs | (~evanjs@075-129-098-007.res.spectrum.com) |
| 2021-05-14 08:08:14 +0000 | notis | (~notis@2a02:2149:87b6:a300:e002:82a:4fda:33c0) |
| 2021-05-14 08:08:21 +0000 | mohab | (~mohab@156.223.213.178) |
| 2021-05-14 08:14:02 +0000 | materiyolo | (~materiyol@112.205.57.255) (Read error: Connection reset by peer) |
| 2021-05-14 09:15:02 +0000 | kajzer | (~kajzer@unaffiliated/kajzer) |
| 2021-05-14 09:24:48 +0000 | crmaurei | (crmaurei@nat/qt/x-fqikwejinpnixucs) (Quit: No Ping reply in 180 seconds.) |
| 2021-05-14 09:26:02 +0000 | crmaurei | (crmaurei@nat/qt/x-wqyvenfcfwoldomm) |
| 2021-05-14 09:28:29 +0000 | ChubaDuba | (~ChubaDuba@37.112.227.6) |
| 2021-05-14 09:28:45 +0000 | seschwar | (~seschwar@unaffiliated/seschwar) |
| 2021-05-14 10:10:06 +0000 | <Liskni_si> | I should perhaps reconsider my decision to add a property test for SubLayouts. This has been fun! |
| 2021-05-14 10:11:23 +0000 | <Liskni_si> | Developing against a property test that finishes a couple dozens of milliseconds after I save the file almost makes one forget how fucked up the Haskell build tooling is :-) |
| 2021-05-14 10:43:24 +0000 | <Solid> | :) |
| 2021-05-14 10:49:07 +0000 | materiyolo | (~materiyol@112.205.57.255) |
| 2021-05-14 10:52:20 +0000 | mohab | (~mohab@156.223.213.178) (Ping timeout: 246 seconds) |
| 2021-05-14 10:55:27 +0000 | <Solid> | I suppose it's arguable if the new implementation really is that much simpler, but I'm obviously biased :P |
| 2021-05-14 10:55:44 +0000 | <Solid> | but I like that it respects the state-changes on other visible workspaces as well, which is something I did indeed overlook |
| 2021-05-14 10:57:48 +0000 | <Liskni_si> | Yeah, I hoped I could come up with something way simpler, but didn't manage :-/ |
| 2021-05-14 10:58:09 +0000 | mohab | (~mohab@156.223.213.178) |
| 2021-05-14 10:58:17 +0000 | <Liskni_si> | The absence of insertAt and commonPrefix in Data.List is what got me :-D |
| 2021-05-14 11:14:49 +0000 | <Solid> | if I was a stickler I would now say that both traverse the list twice when they don't need to :> |
| 2021-05-14 11:15:27 +0000 | <Solid> | but in the spirit of keeping things comprehensible having one-line definitions for these is probably better |
| 2021-05-14 11:16:27 +0000 | <Liskni_si> | this obsession about the unimportant will make your life miserable :-) |
| 2021-05-14 11:16:40 +0000 | <Liskni_si> | (I should know) |
| 2021-05-14 11:16:42 +0000 | <Solid> | hahaha |
| 2021-05-14 11:20:49 +0000 | mohab | (~mohab@156.223.213.178) (Ping timeout: 245 seconds) |
| 2021-05-14 11:22:23 +0000 | pmj | (~pmj@p4fe156fa.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2021-05-14 11:26:16 +0000 | ChubaDuba | (~ChubaDuba@37.112.227.6) (Quit: WeeChat 1.6) |
| 2021-05-14 11:34:09 +0000 | mohab | (~mohab@156.223.213.178) |
| 2021-05-14 11:36:55 +0000 | notis | (~notis@2a02:2149:87b6:a300:e002:82a:4fda:33c0) (Ping timeout: 260 seconds) |
| 2021-05-14 11:40:26 +0000 | <Solid> | I'm going to merge #499 later today (the prelude thing) unless someone shouts at me in the meantime |
| 2021-05-14 11:40:49 +0000 | <Solid> | (it's quite a big change so I figured it's worth "pre-announcing" it here) |
| 2021-05-14 11:58:19 +0000 | mohab | (~mohab@156.223.213.178) (Ping timeout: 245 seconds) |
| 2021-05-14 12:06:08 +0000 | mohab | (~mohab@156.223.213.178) |
| 2021-05-14 12:13:54 +0000 | kelnoky | (~shao@ip1f128ba7.dynamic.kabel-deutschland.de) |
| 2021-05-14 12:18:28 +0000 | geekosaur | (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 2021-05-14 12:24:46 +0000 | pmj | (~pmj@ipbcc2919d.dynamic.kabel-deutschland.de) |
| 2021-05-14 12:57:31 +0000 | pmj | (~pmj@ipbcc2919d.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 2021-05-14 14:48:56 +0000 | pmj | (~pmj@ipbcc2919d.dynamic.kabel-deutschland.de) |
| 2021-05-14 14:50:42 +0000 | geekosaur | (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Ping timeout: 240 seconds) |
| 2021-05-14 14:51:41 +0000 | s00pcan | (~chris@075-133-056-178.res.spectrum.com) (Remote host closed the connection) |
| 2021-05-14 14:57:08 +0000 | s00pcan | (~chris@075-133-056-178.res.spectrum.com) |
| 2021-05-14 15:04:11 +0000 | geekosaur | (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 2021-05-14 15:05:36 +0000 | s00pcan | (~chris@075-133-056-178.res.spectrum.com) (Remote host closed the connection) |
| 2021-05-14 15:12:04 +0000 | pmj | (~pmj@ipbcc2919d.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds) |
| 2021-05-14 15:44:17 +0000 | cfricke | (~cfricke@unaffiliated/cfricke) (Quit: WeeChat 3.1) |
| 2021-05-14 15:44:22 +0000 | geekosaur | (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Ping timeout: 240 seconds) |
| 2021-05-14 15:49:04 +0000 | geekosaur | (45870322@069-135-003-034.biz.spectrum.com) |
| 2021-05-14 15:55:42 +0000 | geekosaur | (45870322@069-135-003-034.biz.spectrum.com) (Quit: Ping timeout (120 seconds)) |
| 2021-05-14 15:57:49 +0000 | geekosaur | (45870322@069-135-003-034.biz.spectrum.com) |
| 2021-05-14 16:01:02 +0000 | kelnoky | (~shao@ip1f128ba7.dynamic.kabel-deutschland.de) (Quit: WeeChat 3.1) |
| 2021-05-14 16:14:04 +0000 | pmj | (~pmj@ipbcc2919d.dynamic.kabel-deutschland.de) |
| 2021-05-14 16:23:30 +0000 | <Liskni_si> | geekosaur, byorgey, sibi: in case your e-mail setup doesn't distinguish between direct mentions and general notifications, I'd like to ask for your feedback on https://github.com/xmonad/xmonad-contrib/pull/544 |
| 2021-05-14 16:24:04 +0000 | davemq | (~davemq@99-179-0-50.lightspeed.austtx.sbcglobal.net) ("ERC (IRC client for Emacs 27.2)") |
| 2021-05-14 16:24:52 +0000 | mc47 | (~yecinem@89.246.239.190) |
| 2021-05-14 16:38:19 +0000 | materiyolo | (~materiyol@112.205.57.255) (Ping timeout: 252 seconds) |
| 2021-05-14 17:10:23 +0000 | geekosaur | (45870322@069-135-003-034.biz.spectrum.com) (Ping timeout: 240 seconds) |
| 2021-05-14 17:23:05 +0000 | geekosaur | (45870322@069-135-003-034.biz.spectrum.com) |
| 2021-05-14 17:29:11 +0000 | growpotkin | (~growpotki@130-45-30-154.dyn.grandenetworks.net) |
| 2021-05-14 17:45:11 +0000 | pmj | (~pmj@ipbcc2919d.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds) |
| 2021-05-14 17:47:24 +0000 | a6a45081-2b83 | (~aditya@27.58.160.217) |
| 2021-05-14 17:49:16 +0000 | notis | (~notis@85.203.44.186) |
| 2021-05-14 17:51:27 +0000 | kelnoky | (~shao@ip1f128ba7.dynamic.kabel-deutschland.de) |
| 2021-05-14 17:53:43 +0000 | a6a45081-2b83 | (~aditya@27.58.160.217) (Quit: Konversation terminated!) |
| 2021-05-14 18:12:08 +0000 | heck-to-the-gnom | (heck-to-th@gateway/shell/matrix.org/x-dkeyhpdeslcfjwpp) ("User left") |
| 2021-05-14 18:29:58 +0000 | pmj | (~pmj@188.194.145.157) |
| 2021-05-14 19:14:36 +0000 | admzmf | (ben@gateway/vpn/privateinternetaccess/admzmf) |
| 2021-05-14 19:28:16 +0000 | pmj | (~pmj@188.194.145.157) (Ping timeout: 252 seconds) |
| 2021-05-14 19:49:46 +0000 | thoros | (~thoros@193-154-185-59.adsl.highway.telekom.at) (Ping timeout: 268 seconds) |
| 2021-05-14 20:41:18 +0000 | geekosaur | (45870322@069-135-003-034.biz.spectrum.com) (Quit: Ping timeout (120 seconds)) |
| 2021-05-14 20:43:56 +0000 | geekosaur | (45870322@069-135-003-034.biz.spectrum.com) |
| 2021-05-14 21:07:33 +0000 | mohab | (~mohab@156.223.213.178) (Ping timeout: 240 seconds) |
| 2021-05-14 21:08:54 +0000 | mohab | (~mohab@45.243.104.242) |
| 2021-05-14 21:11:14 +0000 | kelnoky | (~shao@ip1f128ba7.dynamic.kabel-deutschland.de) (Quit: WeeChat 3.1) |
| 2021-05-14 21:14:04 +0000 | geekosaur | (45870322@069-135-003-034.biz.spectrum.com) (Quit: Connection closed) |
| 2021-05-14 21:14:23 +0000 | geekosaur | (45870322@069-135-003-034.biz.spectrum.com) |
| 2021-05-14 21:19:03 +0000 | mc47 | (~yecinem@89.246.239.190) (Remote host closed the connection) |
| 2021-05-14 21:31:26 +0000 | admzmf | (ben@gateway/vpn/privateinternetaccess/admzmf) (Ping timeout: 260 seconds) |
| 2021-05-14 21:31:46 +0000 | pmj | (~pmj@ipbcc2919d.dynamic.kabel-deutschland.de) |
| 2021-05-14 21:32:29 +0000 | mohab | (~mohab@45.243.104.242) (Ping timeout: 245 seconds) |
| 2021-05-14 21:34:13 +0000 | notis | (~notis@85.203.44.186) (Ping timeout: 240 seconds) |
| 2021-05-14 21:36:30 +0000 | notis | (~notis@185.51.134.229) |
| 2021-05-14 22:01:21 +0000 | pmj | (~pmj@ipbcc2919d.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 2021-05-14 22:12:33 +0000 | geekosaur | (45870322@069-135-003-034.biz.spectrum.com) (Quit: Connection closed) |
| 2021-05-14 22:13:04 +0000 | geekosaur | (45870322@069-135-003-034.biz.spectrum.com) |
| 2021-05-14 22:21:20 +0000 | mohab | (~mohab@156.223.213.178) |
| 2021-05-14 22:59:39 +0000 | admzmf | (ben@gateway/vpn/privateinternetaccess/admzmf) |
| 2021-05-14 23:24:14 +0000 | <ectospasm> | I'm using dzen2 for docks/struts in my xmonad.hs (https://git.eldon.me/trey/pastes/src/branch/master/2021-05-14_xmonad.hs). I've got two dzen2 docks at the bottom of my screen, and my full-screen windows appear to only avoid the very bottom dzen2 dock/strut, the one just above it cuts off the bottom of the full screen window. I have -dock passed to all my dzen2 instances, is there a way for my |
| 2021-05-14 23:24:16 +0000 | <ectospasm> | full-screen windows to avoid all docks/struts? |
| 2021-05-14 23:24:44 +0000 | <ectospasm> | Here's a screenshot of what I'm talking about: https://git.eldon.me/trey/pastes/src/branch/master/2021-05-14-191602_1920x1080_scrot.png |
| 2021-05-14 23:29:00 +0000 | <Liskni_si> | ectospasm: this seems to be a problem in dzen2 itself, it doesn't set _NET_WM_STRUT or _NET_WM_STRUT_PARTIAL when it's not touching the edge of a screen |
| 2021-05-14 23:30:12 +0000 | <Liskni_si> | you can set the gaps manually using https://hackage.haskell.org/package/xmonad-contrib-0.16/docs/XMonad-Layout-Gaps.html |
| 2021-05-14 23:30:35 +0000 | <Liskni_si> | you could possibly even set the _NET_WM_STRUT_PARTIAL property manually using xprop, although that's perhaps a bit too much of a hack :-) |
| 2021-05-14 23:31:41 +0000 | <ectospasm> | OK, thanks! I'll look into XMonad.Layout.Gaps. |
