Logs: liberachat/#xmonad
| 2021-06-02 07:46:34 | <gruntsplatter> | is there a fix ? |
| 2021-06-02 08:12:22 | × | themainman quits (~themainma@user/themainman) (Quit: WeeChat 3.1) |
| 2021-06-02 08:14:01 | → | themainman joins (~themainma@user/themainman) |
| 2021-06-02 08:16:41 | <Solid> | oh wow there are _a lot_ of matrix nicks here now |
| 2021-06-02 08:16:47 | <Solid> | did some other channel get bridged? |
| 2021-06-02 08:19:47 | <mc47> | yes, the one that wasn't bridged |
| 2021-06-02 08:19:57 | <mc47> | the #xmonad channel |
| 2021-06-02 08:20:12 | <Solid> | that's awesome |
| 2021-06-02 08:20:25 | <Solid> | might want to add that one to the website as well then |
| 2021-06-02 08:36:56 | × | gruntsplatter quits (~jason@103.2.198.78) (Quit: WeeChat 3.1) |
| 2021-06-02 08:55:40 | <liskin> | Solid: maybe I should bridge the one Discord server I really want to be in to Matrix or something, yeah. :-/ |
| 2021-06-02 08:57:01 | <Solid> | liskin: yeah that's how I've done it with one server a few friends of mine insist on using (I'm bridging directly to IRC though) |
| 2021-06-02 08:57:14 | <Solid> | the bridge itself is pretty bad, but improving it would involve me interacting with discord |
| 2021-06-02 08:57:17 | <Solid> | and also writing js |
| 2021-06-02 08:57:19 | <Solid> | so no :) |
| 2021-06-02 10:11:47 | → | benin4 joins (~benin@183.82.205.186) |
| 2021-06-02 10:12:30 | × | benin quits (~benin@183.82.205.186) (Ping timeout: 272 seconds) |
| 2021-06-02 10:12:30 | benin4 | is now known as benin |
| 2021-06-02 10:42:38 | → | Guest7213 joins (~Guest7213@78.32.70.245) |
| 2021-06-02 10:45:07 | × | berberman quits (~berberman@user/berberman) (Ping timeout: 265 seconds) |
| 2021-06-02 10:45:13 | → | berberman_ joins (~berberman@user/berberman) |
| 2021-06-02 11:43:21 | ← | hpd[m] parts (~hpdhpdeif@2001:470:69fc:105::230) () |
| 2021-06-02 11:57:48 | → | MrElendig joins (~Urist@user/mrelendig) |
| 2021-06-02 12:16:41 | → | Guest73 joins (~Guest73@124.40.244.150) |
| 2021-06-02 12:18:06 | → | benin8 joins (~benin@106.198.94.140) |
| 2021-06-02 12:18:15 | <Guest73> | When using xmonad-git how can I look at documentation? Only in source or some place on hackage? |
| 2021-06-02 12:19:55 | × | benin quits (~benin@183.82.205.186) (Ping timeout: 245 seconds) |
| 2021-06-02 12:21:43 | → | benin joins (benin@gateway/vpn/protonvpn/benin) |
| 2021-06-02 12:23:41 | × | benin8 quits (~benin@106.198.94.140) (Ping timeout: 264 seconds) |
| 2021-06-02 12:27:49 | <Guest73> | Any1 |
| 2021-06-02 12:28:48 | <liskin> | Guest73: you can build the html docs locally via cabal haddock or stack haddock, but it's not available anywhere on the web right now |
| 2021-06-02 12:29:08 | <liskin> | it's somewhere in my todo list though |
| 2021-06-02 12:30:30 | <Guest73> | Thanks. I will stick to code. No idea about cabal and stack. Not a Haskell programmer. Just a xmonad user. |
| 2021-06-02 12:32:33 | <liskin> | Oh you're installing from distro? Might be a good idea to ask the maintainers to make a doc package as well. |
| 2021-06-02 12:32:59 | <liskin> | In Debian, there is a docs package. |
| 2021-06-02 12:33:06 | × | benin quits (benin@gateway/vpn/protonvpn/benin) (Ping timeout: 272 seconds) |
| 2021-06-02 12:33:08 | <liskin> | (But there's no -git package :-/) |
| 2021-06-02 12:33:36 | <liskin> | Possibly there already is a doc package for your distro? |
| 2021-06-02 12:36:36 | × | Guest73 quits (~Guest73@124.40.244.150) (Ping timeout: 250 seconds) |
| 2021-06-02 12:47:04 | → | benin joins (~benin@183.82.205.186) |
| 2021-06-02 12:55:06 | <Solid> | layouts are so weird |
| 2021-06-02 12:56:37 | <Solid> | liskin: everything you said makes sense and yet the current solution for #281 still works, even with decorated layouts |
| 2021-06-02 12:57:13 | <Solid> | I think if the check the description on both sides every time we can avoid not hiding the layouts though |
| 2021-06-02 13:02:47 | <liskin> | that's really weird :-/ |
| 2021-06-02 13:05:51 | <liskin> | I think I might write a prop test or something |
| 2021-06-02 13:06:45 | <liskin> | otherwise I'd have to rebase everything onto current masters and that might be more trouble, as I have some custom inspection instances for NewSelect and shit |
| 2021-06-02 13:28:07 | <liskin> | but then I'd be tempted to clean up the tests and use hspec, so I'll just write a new xmonad config instead |
| 2021-06-02 13:32:33 | <Solid> | hah |
| 2021-06-02 13:33:25 | × | themainman quits (~themainma@user/themainman) (Read error: Connection reset by peer) |
| 2021-06-02 13:34:00 | → | themainman joins (~themainma@user/themainman) |
| 2021-06-02 13:42:46 | × | benin quits (~benin@183.82.205.186) (Ping timeout: 272 seconds) |
| 2021-06-02 13:45:14 | <liskin> | okay I'm not crazy |
| 2021-06-02 13:45:33 | <liskin> | I can reproduce dangling deco with main = xmonad bluetileConfig |
| 2021-06-02 13:47:28 | <liskin> | open two terminals, mod-f to switch to fullscreen, mod-d to switch to tile2, now through the gap they can be seen and stay there after closing both terminals |
| 2021-06-02 13:48:05 | <liskin> | that is, at 246600f70d6365c612ea9bfd31efd50c50a6c861, not at 0084a1af5c08fa3015af5aa2fd45d0c165d86a67 |
| 2021-06-02 14:07:36 | <Solid> | huh interesting |
| 2021-06-02 14:07:41 | <Solid> | okay so that clears that up |
| 2021-06-02 14:10:00 | → | benin joins (~benin@183.82.205.186) |
| 2021-06-02 14:11:03 | → | geekosaur joins (~geekosaur@069-135-003-034.biz.spectrum.com) |
| 2021-06-02 14:11:47 | <liskin> | Solid: I pushed a fixup |
| 2021-06-02 14:11:47 | <Solid> | does 0084a1af5c08fa3015af5aa2fd45d0c165d86a67 fix this though? because it _should_ but I'm not sure of anything anymore right now :/ |
| 2021-06-02 14:12:01 | <liskin> | 0084a1af5c08fa3015af5aa2fd45d0c165d86a67 does fix it indeed |
| 2021-06-02 14:12:34 | <liskin> | as I said, whenever you flip CL/CR outside of choose, some Hide messages might not get sent |
| 2021-06-02 14:12:47 | <liskin> | or some extra Hides may get sent |
| 2021-06-02 14:12:54 | <liskin> | which is what the fixup deals with |
| 2021-06-02 14:13:17 | <Solid> | liskin: would that fixup not run into the same problems regarding having (CL, CL) and (CR, CR) as the first version? |
| 2021-06-02 14:13:22 | <liskin> | I still don't understand what those flips were meant to do |
| 2021-06-02 14:13:40 | <liskin> | it's not (CL, CL) et al that is the problem |
| 2021-06-02 14:14:06 | <liskin> | the problem is when you switch to another layout without sending Hide to the old one |
| 2021-06-02 14:14:34 | <liskin> | the fixup just stops a possible flicker when JumpToLayout is asked to switch to the current layout |
| 2021-06-02 14:16:27 | <Solid> | ooooh okay |
| 2021-06-02 14:17:17 | <liskin> | actually, I haven't tested the fixup |
| 2021-06-02 14:17:32 | <liskin> | it's entirely possible it breaks it entirely |
| 2021-06-02 14:18:28 | <liskin> | oh no it doesn't :-) |
| 2021-06-02 14:18:46 | <Solid> | yeah can confirm it also works for me |
| 2021-06-02 14:19:39 | <liskin> | anyway what I had in mind that the JumpToLayout handler can very likely be simplified further, if we're willing to risk calling handleMessage on both sides at all times |
| 2021-06-02 14:27:29 | <liskin> | also, if the tree of layouts isn't exactly the right fold of a list, jumping to the layouts in the right subtree doesn't work :-/ |
| 2021-06-02 14:28:42 | <liskin> | with https://store.lisk.in/tmp/2021-06-02-152751_704x446_scrot.png I can't switch to Fullscreen |
| 2021-06-02 14:33:28 | <Solid> | huh interesting |
| 2021-06-02 14:33:33 | <Solid> | this this work originally? |
| 2021-06-02 14:33:39 | <Solid> | s/this/did/ |
| 2021-06-02 14:34:36 | <liskin> | yeah I think before 246600f70d6365c612ea9bfd31efd50c50a6c861 handling of JumpToLayout would return Nothing when the layout wasn't there |
| 2021-06-02 14:34:46 | <liskin> | and the logic relies on that |
| 2021-06-02 14:35:46 | <liskin> | it's a bit weird though, hm, choose also returns Nothing sometimes |
| 2021-06-02 14:36:48 | → | seschwar joins (~seschwar@user/seschwar) |
| 2021-06-02 14:37:17 | <liskin> | but those nested cases might force a switch of CL to CR or the other way around even if the layout wasn't found, apparently |
| 2021-06-02 14:41:50 | <liskin> | Solid: https://github.com/xmonad/xmonad/pull/281/files/0084a1af5c08fa3015af5aa2fd45d0c165d86a67..28ac3178ae0a6959e40d699fd764d0cf53b635c0 |
| 2021-06-02 14:41:57 | <liskin> | oh not this one |
| 2021-06-02 14:42:06 | <liskin> | this: https://github.com/xmonad/xmonad/pull/281/commits/3e05edfaf7dd5800ed0affcde2f7a400aa4e8abe |
| 2021-06-02 14:42:42 | <liskin> | but we should probably really write the prop test after all, this is too brittle |
| 2021-06-02 14:44:14 | <Solid> | liskin: oh that's really neat |
| 2021-06-02 14:44:56 | <Solid> | is there infrastructure for message handling tests? |
| 2021-06-02 14:45:28 | <liskin> | do you need more than just a call to handleMessage? |
| 2021-06-02 14:46:12 | <Solid> | mh... probably not |
| 2021-06-02 14:46:17 | <liskin> | the only possibly difficult bit is that type T uses Int as layout, but here you'll need something with both description and state to check that Hide was delivered |
| 2021-06-02 14:46:31 | <liskin> | might just do a bit of bit arithmetic though |
| 2021-06-02 14:56:07 | ← | bghimis- parts (~bghimis@80.96.21.160) (WeeChat 3.1) |
| 2021-06-02 14:57:48 | × | cfricke quits (~cfricke@user/cfricke) (Quit: WeeChat 3.1) |
| 2021-06-02 15:32:19 | → | benin5 joins (benin@gateway/vpn/protonvpn/benin) |
| 2021-06-02 15:34:30 | × | benin quits (~benin@183.82.205.186) (Ping timeout: 264 seconds) |
All times are in UTC.