Logs: liberachat/#xmonad
| 2023-02-09 12:59:00 | → | deip[m] joins (~deipmatri@2001:470:69fc:105::2:679e) |
| 2023-02-09 12:59:00 | → | trevdev[m] joins (~trevdevma@2001:470:69fc:105::4e71) |
| 2023-02-09 12:59:01 | → | liskin[m] joins (~liskinmat@2001:470:69fc:105::768) |
| 2023-02-09 12:59:03 | → | HB[m] joins (~hash@2001:470:69fc:105::1:19e2) |
| 2023-02-09 12:59:04 | → | VarikValefor[m] joins (~varikvale@2001:470:69fc:105::a5d) |
| 2023-02-09 12:59:05 | → | iffsid joins (~iffsid@2001:470:69fc:105::a3e) |
| 2023-02-09 12:59:08 | → | YuuYin[m] joins (~yuum]@2001:470:69fc:105::8a6) |
| 2023-02-09 12:59:09 | → | nexilva[m] joins (~nexilvama@2001:470:69fc:105::2:cf52) |
| 2023-02-09 13:14:59 | → | zawaken- joins (~zawaken@user/zawaken) |
| 2023-02-09 13:16:19 | × | zawaken quits (~zawaken@user/zawaken) (Ping timeout: 260 seconds) |
| 2023-02-09 13:19:26 | → | qbit_m joins (~qbittapen@2001:470:69fc:105::194) |
| 2023-02-09 13:21:20 | → | playback2396[m] joins (~playback2@2001:470:69fc:105::2:feb8) |
| 2023-02-09 13:27:37 | → | sibi joins (~sibi@2001:470:69fc:105::8ab) |
| 2023-02-09 13:27:41 | → | Tisoxin joins (~ikosit@user/ikosit) |
| 2023-02-09 13:54:19 | × | gknux quits (~gknux@user/galaxy-knuckles/x-3015990) (Ping timeout: 248 seconds) |
| 2023-02-09 13:54:29 | → | escobear joins (~gknux@user/galaxy-knuckles/x-3015990) |
| 2023-02-09 13:55:21 | escobear | is now known as gknux |
| 2023-02-09 14:03:48 | → | mzanic joins (~mzanic@93-142-73-175.adsl.net.t-com.hr) |
| 2023-02-09 14:26:58 | → | cfricke joins (~cfricke@user/cfricke) |
| 2023-02-09 14:42:12 | × | mc47 quits (~mc47@xmonad/TheMC47) (Quit: Leaving) |
| 2023-02-09 14:43:25 | → | yecinem joins (~yecinem@dhcp-138-246-3-10.dynamic.eduroam.mwn.de) |
| 2023-02-09 14:47:04 | × | mzanic quits (~mzanic@93-142-73-175.adsl.net.t-com.hr) (Ping timeout: 252 seconds) |
| 2023-02-09 14:47:30 | × | yecinem quits (~yecinem@dhcp-138-246-3-10.dynamic.eduroam.mwn.de) (Remote host closed the connection) |
| 2023-02-09 14:47:51 | → | mc47 joins (~yecinem@dhcp-138-246-3-10.dynamic.eduroam.mwn.de) |
| 2023-02-09 14:48:15 | × | mc47 quits (~yecinem@dhcp-138-246-3-10.dynamic.eduroam.mwn.de) (Changing host) |
| 2023-02-09 14:48:15 | → | mc47 joins (~yecinem@xmonad/TheMC47) |
| 2023-02-09 14:49:03 | × | mc47 quits (~yecinem@xmonad/TheMC47) (Remote host closed the connection) |
| 2023-02-09 14:49:24 | → | mc47 joins (~yecinem@dhcp-138-246-3-10.dynamic.eduroam.mwn.de) |
| 2023-02-09 15:05:39 | → | themc47 joins (~mc47@xmonad/TheMC47) |
| 2023-02-09 15:05:44 | × | themc47 quits (~mc47@xmonad/TheMC47) (Client Quit) |
| 2023-02-09 15:05:57 | × | mc47 quits (~yecinem@dhcp-138-246-3-10.dynamic.eduroam.mwn.de) (Remote host closed the connection) |
| 2023-02-09 15:06:17 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 2023-02-09 15:15:00 | <geekosaur> | beastwick, also the modm .|. form was the original form; but we're moving more toward the M-* form (see for example the tutorial, which uses `additionalKeysP`) because it's easier for users |
| 2023-02-09 15:15:15 | → | unclechu joins (~unclechu@2001:470:69fc:105::354) |
| 2023-02-09 15:16:00 | <geekosaur> | also see my recent commit that got logged here, which makes it a little bit easier |
| 2023-02-09 15:16:52 | <geekosaur> | xmonad started out kinda assuming users were familiar with Haskell, Unix, and X11, but has been moving toward a more "general users, not experts" model |
| 2023-02-09 15:17:22 | <geekosaur> | more simple combinators, friendlier configuration, etc. |
| 2023-02-09 15:21:27 | <beastwick> | makes, sense - I am slowly picking up haskell skills |
| 2023-02-09 16:00:56 | × | unclechu quits (~unclechu@2001:470:69fc:105::354) (Quit: You have been kicked for being idle) |
| 2023-02-09 16:11:16 | → | Hmmf joins (~Hmmf@2a01:e0a:582:bb40:e5c6:f484:7015:1722) |
| 2023-02-09 16:12:12 | <Hmmf> | Hello. I have trouble using the tabbed layout with avoidStruts. |
| 2023-02-09 16:12:27 | → | unclechu joins (~unclechu@2001:470:69fc:105::354) |
| 2023-02-09 16:12:35 | <Hmmf> | Apparently the tabbed layout has a different type than the others O.o |
| 2023-02-09 16:13:10 | <geekosaur> | @where paste |
| 2023-02-09 16:13:10 | <lambdabot> | Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com |
| 2023-02-09 16:13:17 | <geekosaur> | every layout has its own type |
| 2023-02-09 16:14:22 | <Hmmf> | https://paste.tomsmeding.com/hqZsvlnO |
| 2023-02-09 16:14:40 | <Hmmf> | err i messed up the syntax highlighting.... |
| 2023-02-09 16:15:17 | <Hmmf> | the tabbedLayout is the troubling part |
| 2023-02-09 16:15:30 | <Hmmf> | apparently avoidStruts does not want to eat it. |
| 2023-02-09 16:17:10 | <Hmmf> | https://paste.tomsmeding.com/aOEZcprP |
| 2023-02-09 16:17:31 | <Hmmf> | I've cut the output short but basically it goes on and on about that type mismatch. |
| 2023-02-09 16:17:58 | <Hmmf> | It's kinda daunting. |
| 2023-02-09 16:19:18 | <Hmmf> | Is it that I am missing an argument (the a0 that the compiler is referring to) ? |
| 2023-02-09 16:19:51 | <Hmmf> | it's on 0.17 btw. |
| 2023-02-09 16:20:41 | <geekosaur> | normally you get those errors if you don't actually use the definitions |
| 2023-02-09 16:20:46 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2023-02-09 16:20:53 | <Hmmf> | ew |
| 2023-02-09 16:20:54 | <Hmmf> | ok |
| 2023-02-09 16:21:07 | <geekosaur> | and no, you don't specify that type variable normally, it's inferred (as Window) |
| 2023-02-09 16:22:08 | <geekosaur> | so you use all of those in `layoutDef`, but do you use that anywhere? |
| 2023-02-09 16:22:35 | <Hmmf> | hmmm no, I think I am actually using these. Let me paste the whole thing, it'll be easier. |
| 2023-02-09 16:23:25 | <Hmmf> | https://paste.tomsmeding.com/PzgHxJ84 |
| 2023-02-09 16:23:28 | <geekosaur> | if it's connected to the `layoutHook` of your config record, the type of `a0` should be inferred properly |
| 2023-02-09 16:24:22 | <Hmmf> | well, it seems like it... The file is in a bit of a Vietnam state atm. It's a work in progress... |
| 2023-02-09 16:28:03 | <Hmmf> | Could that be because I compose avoidStruts multiple times? |
| 2023-02-09 16:34:15 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Remote host closed the connection) |
| 2023-02-09 16:39:02 | <geekosaur> | when I try to compile it locally I get an error about numlockMask, which I think prevents it from resolving the config record |
| 2023-02-09 16:41:14 | <Hmmf> | ewww that's very old stuff apparently |
| 2023-02-09 16:41:20 | <Hmmf> | I am removing it. |
| 2023-02-09 16:43:18 | <geekosaur> | and when I remove that (it's in XState, not XConfig), I get an error about borderWidthDef. but the errors you get are gone |
| 2023-02-09 16:46:20 | <Hmmf> | yes I've also managed to cleaned most things but it's still tripping on layouts |
| 2023-02-09 16:46:52 | <Hmmf> | https://paste.tomsmeding.com/MhEggHYf |
| 2023-02-09 16:46:59 | <geekosaur> | interesting. I got those errors until I removed numLockMask |
| 2023-02-09 16:47:34 | <Hmmf> | numlockMask is very old legacy. From 0.9 apparently. I removed it. |
| 2023-02-09 16:48:53 | <geekosaur> | oh, this is a different error actually |
| 2023-02-09 16:50:24 | <Hmmf> | I haven't done xmonad things since a while... I think I am mixing xmonad themes and decorated layout themes... Idk really |
| 2023-02-09 16:50:48 | <geekosaur> | somewhere you are either missing or added a Theme |
| 2023-02-09 16:51:15 | <geekosaur> | line 224 is wrong, you had it right the first time |
| 2023-02-09 16:51:36 | <geekosaur> | `tabbed` needs a `Shrinker` and a `Theme` as parameters |
| 2023-02-09 16:52:18 | <Hmmf> | omg it compiles |
| 2023-02-09 16:52:41 | <Hmmf> | all right now that it's relatively clean I think I can take it from there. |
| 2023-02-09 16:52:50 | <Hmmf> | Damn thanks a lot. |
| 2023-02-09 16:55:18 | <Hmmf> | Well avoidStruts is not working properly but that was sort of expected :D |
| 2023-02-09 16:56:41 | <geekosaur[m]> | No problem |
| 2023-02-09 16:57:26 | → | chomwitt joins (~chomwitt@2a02:587:7a12:aa00:1ac0:4dff:fedb:a3f1) |
| 2023-02-09 16:59:13 | → | malook joins (~Thunderbi@2a02:9b0:4000:8906:fa4b:47f4:65e4:a888) |
| 2023-02-09 17:01:18 | × | Hmmf quits (~Hmmf@2a01:e0a:582:bb40:e5c6:f484:7015:1722) (Quit: Client closed) |
| 2023-02-09 17:02:40 | → | Hmmf joins (~Hmmf@2a01:e0a:582:bb40:e5c6:f484:7015:1722) |
| 2023-02-09 17:08:22 | <Hmmf> | So, do I actually need a specific startupHook to make the strut avoidance work or it's like before? |
| 2023-02-09 17:08:41 | <geekosaur> | these days you use the `docks` combinator |
| 2023-02-09 17:08:54 | <geekosaur> | xmonad $ docks def {…} |
| 2023-02-09 17:09:17 | <Hmmf> | ah I see |
| 2023-02-09 17:10:05 | <Hmmf> | meh I need to restart X again |
| 2023-02-09 17:10:09 | × | Hmmf quits (~Hmmf@2a01:e0a:582:bb40:e5c6:f484:7015:1722) (Quit: Client closed) |
| 2023-02-09 17:10:48 | → | Hmmf joins (~Hmmf@2a01:e0a:582:bb40:e5c6:f484:7015:1722) |
| 2023-02-09 17:12:28 | <Hmmf> | Yeah I'm just having the old behavior. So, right now, I'm not having any strut avoidance at startup. Using toggleStruts makes the dzen2 instances reappear. Using it again only works properly in one direction. |
| 2023-02-09 17:12:51 | <geekosaur> | some of that might be the multiple `avoidStruts` |
| 2023-02-09 17:13:19 | <Hmmf> | All right. And that would not be solved by using another panel? |
| 2023-02-09 17:14:04 | <Hmmf> | I mean, other than dzen2 |
All times are in UTC.