Logs: liberachat/#xmonad
| 2022-06-12 17:38:55 | <Guest86> | Admittedly, I'm more familiar with JavaScript. Considering however that i define "ppVisible" (among other pp's), isn't this how I'd define ppPrinters? |
| 2022-06-12 17:39:27 | <Guest86> | Now I know what you mean! But ppPrinters *is* a field! |
| 2022-06-12 17:40:40 | <geekosaur> | oh wait, they added that, sorry |
| 2022-06-12 17:41:00 | <geekosaur> | I didn't quite keep track of all the work that was done on PP as part of the StatusBar rewrite |
| 2022-06-12 17:44:15 | → | thunderrd joins (~thunderrd@183.182.110.241) |
| 2022-06-12 17:44:41 | × | thunderrd quits (~thunderrd@183.182.110.241) (Remote host closed the connection) |
| 2022-06-12 17:50:28 | <geekosaur> | ok, so what goes wrong if you use ppCurrent is that it's a field lookup and needs the record to look up from |
| 2022-06-12 17:50:48 | <geekosaur> | that is, it's not simply `ppCurrent`, it's `ppCurrent somePP` |
| 2022-06-12 17:51:03 | <geekosaur> | (and then that is itself a function passed a workspace name) |
| 2022-06-12 17:52:55 | <Guest86> | That's the weird thing: the line works with "ppCurrent", but not my own function "ppIsEmptyCurrent" |
| 2022-06-12 17:54:18 | <Guest86> | it does make sense though that I should supply the ``somePP`` to the function. You might be guiding me in the right direction! |
| 2022-06-12 17:54:24 | <geekosaur> | what happens in that case? |
| 2022-06-12 17:55:36 | <Guest86> | when i write `ppPrinters = isEmptyCurrent ?-> ppIsEmptyCurrent` I get the compile error "couldn't match type PP with [Char]..." |
| 2022-06-12 17:55:55 | <Guest86> | So, what is really, really confusing is this (give me one second): |
| 2022-06-12 17:56:39 | <geekosaur> | oh, so ?-> may be passing the PP |
| 2022-06-12 17:56:49 | <geekosaur> | which would imply you need to make it go away |
| 2022-06-12 17:57:03 | <Guest86> | If I hover over `ppCurrent` the first argument is `PP` https://hackage.haskell.org/package/xmonad-contrib-0.17.0/docs/src/XMonad.Hooks.StatusBar.PP.html#ppCurrent |
| 2022-06-12 17:57:25 | <geekosaur> | so \_ -> ppIsEmptyCurrent |
| 2022-06-12 17:57:39 | <Guest86> | But not if I hover over `ppCurrent` here, in `fallbackPrinters` https://hackage.haskell.org/package/xmonad-contrib-0.17.0/docs/src/XMonad.Hooks.StatusBar.PP.html#fallbackPrinters |
| 2022-06-12 17:58:01 | <Guest86> | My _guess_ is that it is because `ppCurrent` is inside `PP` in the first case. |
| 2022-06-12 17:58:09 | <Guest86> | I'll try that right away! |
| 2022-06-12 17:58:10 | <geekosaur> | yes |
| 2022-06-12 17:59:00 | <geekosaur> | but I don't have high confidence, I want to look at ?-> again but I'm doing too many things at once (reading here, studying your code, rebuilding xmonad-contrib for a `cabal repl` so I can experiment…) |
| 2022-06-12 17:59:58 | <Guest86> | `const ppIsEmptyCurrent` does compile, and I believe I tried it before, but it doesn't quite do what I want. If you're telling me that should be right, I should be able to take a look at `?->` and/or `isEmptyCurrent` again myself! :) |
| 2022-06-12 18:00:13 | <Guest86> | Of course, I'm glad you're answering at all! |
| 2022-06-12 18:00:38 | <geekosaur> | yeh, it's passed a PP, you need to ignbore it to use your own predicate |
| 2022-06-12 18:01:12 | <Guest86> | When you're saying it like that, it does make sense. |
| 2022-06-12 18:01:51 | <geekosaur> | this would be easier if Haskell records were secretly hashmaps like they are in JS or Python, but that's not very strongly typed |
| 2022-06-12 18:01:52 | <Guest86> | Thanks a lot, man! This was the big hurdle! |
| 2022-06-12 18:02:02 | <Guest86> | Haha yeah, no |
| 2022-06-12 18:03:02 | <Guest86> | I just finished a "Functional Programming" course in my CS studies, and we used Haskell. Loved it! |
| 2022-06-12 18:04:53 | <Guest86> | Just noticed that you're one of the maintainers! Awesome to have you here, replying! |
| 2022-06-12 18:05:45 | <geekosaur[m]> | We do that |
| 2022-06-12 18:06:20 | <geekosaur[m]> | Most of the others are away at Zurihac right now |
| 2022-06-12 18:06:42 | <alternateved> | Is that the first time they see each other irl? |
| 2022-06-12 18:06:48 | <liskin> | Yes |
| 2022-06-12 18:06:59 | <liskin> | And it's way more chill than I expected |
| 2022-06-12 18:07:01 | <alternateved> | That is nuts :D |
| 2022-06-12 18:07:10 | <liskin> | So I'm at the lake like half the time |
| 2022-06-12 18:07:17 | <liskin> | And my face is on fire |
| 2022-06-12 18:07:24 | <liskin> | (because sun) |
| 2022-06-12 18:07:32 | <alternateved> | Yeah, suddenly it got real hot |
| 2022-06-12 18:10:22 | × | alternateved quits (~alternate@45.134.212.182) (Remote host closed the connection) |
| 2022-06-12 18:10:46 | → | alternateved joins (~alternate@45.134.212.182) |
| 2022-06-12 18:28:44 | <geekosaur> | Hm, so it looks like X.U.Scratchpad has already been rewritten to the extent it can be. I do wonder how it interacts with the merge with DynamicScratchpads though |
| 2022-06-12 18:29:00 | <geekosaur> | also I suspect at this point it should simply be deprecated |
| 2022-06-12 18:32:34 | <geekosaur> | since iirc everything now lives in XS and the parameters are ignored to the various hooks, but the hook parameters are the only way to get e.g. the (possibly custom) ManageHook for Scratchpad |
| 2022-06-12 18:33:27 | <geekosaur> | also it's pretty bad that Scratchpad assumes terminals use `-name` but at this point only xterm and urxvt do (st uses `-n`, modern terminals use `--name`) |
| 2022-06-12 18:38:37 | → | Guest73 joins (~Guest73@c83-251-160-169.bredband.tele2.se) |
| 2022-06-12 18:41:18 | × | Guest73 quits (~Guest73@c83-251-160-169.bredband.tele2.se) (Client Quit) |
| 2022-06-12 19:10:24 | → | abiss27 joins (~abiss27@user/abiss) |
| 2022-06-12 19:13:33 | × | alternateved quits (~alternate@45.134.212.182) (Remote host closed the connection) |
| 2022-06-12 19:13:57 | → | alternateved joins (~alternate@45.134.212.182) |
| 2022-06-12 19:16:39 | × | alternateved quits (~alternate@45.134.212.182) (Remote host closed the connection) |
| 2022-06-12 19:17:02 | → | alternateved joins (~alternate@45.134.212.182) |
| 2022-06-12 19:30:26 | → | stackdroid18 joins (14094@user/stackdroid) |
| 2022-06-12 20:08:29 | × | Guest86 quits (~Guest86@c83-251-160-169.bredband.tele2.se) (Quit: Client closed) |
| 2022-06-12 20:08:45 | → | olabandola joins (~olabandol@c83-251-160-169.bredband.tele2.se) |
| 2022-06-12 20:09:08 | × | olabandola quits (~olabandol@c83-251-160-169.bredband.tele2.se) (Client Quit) |
| 2022-06-12 20:24:24 | → | olabandola joins (~olabandol@c83-251-160-169.bredband.tele2.se) |
| 2022-06-12 20:58:08 | <olabandola> | (I'm the one who asked about the pp's before) There we go! I got it to work perfectly. So now, when there are no windows on current tab the font is dimmed (along the tag "button" being pressed down). Check it out! https://gifyu.com/image/SHmCx |
| 2022-06-12 21:33:49 | × | alternateved quits (~alternate@45.134.212.182) (Remote host closed the connection) |
| 2022-06-12 21:53:11 | × | stackdroid18 quits (14094@user/stackdroid) (Quit: Lost terminal) |
| 2022-06-12 21:53:53 | → | stackdroid18 joins (14094@user/stackdroid) |
| 2022-06-12 21:54:25 | × | stackdroid18 quits (14094@user/stackdroid) (Client Quit) |
| 2022-06-12 21:59:41 | × | olabandola quits (~olabandol@c83-251-160-169.bredband.tele2.se) (Quit: Client closed) |
| 2022-06-12 22:07:19 | → | zawaken- joins (~zawaken@user/zawaken) |
| 2022-06-12 22:08:47 | → | Forkk_ joins (~forkk@li926-228.members.linode.com) |
| 2022-06-12 22:09:40 | → | byorgey_ joins (~byorgey@155.138.238.211) |
| 2022-06-12 22:14:40 | × | aura1337[m] quits (~aura1337m@2001:470:69fc:105::2:230a) (*.net *.split) |
| 2022-06-12 22:14:40 | × | neopenk[m] quits (~neopenkma@2001:470:69fc:105::1:6286) (*.net *.split) |
| 2022-06-12 22:14:40 | × | zawaken quits (~zawaken@user/zawaken) (*.net *.split) |
| 2022-06-12 22:14:40 | × | de-vri-es quits (~de-vri-es@voyager.de-vri.es) (*.net *.split) |
| 2022-06-12 22:14:40 | × | Forkk quits (~forkk@li926-228.members.linode.com) (*.net *.split) |
| 2022-06-12 22:14:40 | × | byorgey quits (~byorgey@155.138.238.211) (*.net *.split) |
| 2022-06-12 22:20:56 | × | abiss27 quits (~abiss27@user/abiss) (Quit: hasta la vista... tchau!) |
| 2022-06-12 22:21:14 | → | de-vri-es joins (~de-vri-es@voyager.de-vri.es) |
| 2022-06-12 22:22:17 | → | aura1337[m] joins (~aura1337m@2001:470:69fc:105::2:230a) |
| 2022-06-12 22:22:35 | → | neopenk[m] joins (~neopenkma@2001:470:69fc:105::1:6286) |
| 2022-06-12 22:53:35 | <geekosaur> | my opinion of Arch drops just that little bit further… |
| 2022-06-12 23:00:28 | <davean> | geekosaur: Can it drop? Where below it is there to go? |
| 2022-06-13 00:16:45 | → | jao joins (~jao@40.red-79-159-140.dynamicip.rima-tde.net) |
| 2022-06-13 01:24:22 | × | jludwig quits (~justin@user/jludwig) (Quit: ZNC - https://znc.in) |
| 2022-06-13 01:25:35 | → | jludwig joins (~justin@li657-110.members.linode.com) |
| 2022-06-13 01:36:37 | × | jao quits (~jao@40.red-79-159-140.dynamicip.rima-tde.net) (Ping timeout: 260 seconds) |
| 2022-06-13 02:03:04 | × | banc quits (banc@gateway/vpn/airvpn/banc) (Ping timeout: 248 seconds) |
| 2022-06-13 02:13:28 | × | td_ quits (~td@94.134.91.177) (Ping timeout: 246 seconds) |
| 2022-06-13 02:15:24 | → | td_ joins (~td@muedsl-82-207-238-100.citykom.de) |
| 2022-06-13 02:23:07 | → | banc joins (banc@gateway/vpn/airvpn/banc) |
| 2022-06-13 02:43:27 | × | terrorjack quits (~terrorjac@2a01:4f8:1c1e:509a::1) (Quit: The Lounge - https://thelounge.chat) |
| 2022-06-13 02:45:55 | → | terrorjack joins (~terrorjac@2a01:4f8:1c1e:509a::1) |
| 2022-06-13 04:31:32 | × | steve__ quits (~steve@ool-182c2b80.dyn.optonline.net) (Ping timeout: 248 seconds) |
| 2022-06-13 05:39:04 | × | mvk quits (~mvk@2607:fea8:5ce3:8500::4588) (Ping timeout: 248 seconds) |
| 2022-06-13 06:15:22 | → | alternateved joins (~alternate@37.120.156.148) |
| 2022-06-13 06:23:52 | <Solid[m]> | alternateved: are you there as well or did it just also get hot where you are? :) |
| 2022-06-13 06:23:56 | <Solid[m]> | and yeah, it's extremely chill |
| 2022-06-13 06:24:02 | <Solid[m]> | but raining today, it seems :/ |
| 2022-06-13 06:27:42 | × | amenonsen quits (~amenonsen@pitta.toroid.org) (Remote host closed the connection) |
| 2022-06-13 06:28:03 | → | amenonsen joins (~amenonsen@pitta.toroid.org) |
| 2022-06-13 06:55:51 | → | cfricke joins (~cfricke@user/cfricke) |
All times are in UTC.