| 2022-06-12 00:24:32 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 250 seconds) |
| 2022-06-12 00:25:59 +0200 | tremon | (~tremon@83-84-18-241.cable.dynamic.v4.ziggo.nl) (Quit: getting boxed in) |
| 2022-06-12 01:12:32 +0200 | stackdroid18 | (14094@user/stackdroid) (Quit: hasta la vista... tchau!) |
| 2022-06-12 01:55:08 +0200 | nevyn | (~k.dockz@c-68-43-234-118.hsd1.mi.comcast.net) |
| 2022-06-12 01:56:22 +0200 | alternateved | (~alternate@82.180.151.217) (Remote host closed the connection) |
| 2022-06-12 03:34:47 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Ping timeout: 244 seconds) |
| 2022-06-12 03:37:59 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2022-06-12 04:05:12 +0200 | banc- | (banc@gateway/vpn/airvpn/banc) (Ping timeout: 276 seconds) |
| 2022-06-12 04:14:37 +0200 | td_ | (~td@muedsl-82-207-238-090.citykom.de) (Ping timeout: 246 seconds) |
| 2022-06-12 04:16:41 +0200 | td_ | (~td@94.134.91.177) |
| 2022-06-12 04:22:44 +0200 | banc | (banc@gateway/vpn/airvpn/banc) |
| 2022-06-12 05:58:43 +0200 | steve__ | (~steve@ool-182c2b80.dyn.optonline.net) |
| 2022-06-12 06:30:46 +0200 | thunderrd | (~thunderrd@183.182.110.241) |
| 2022-06-12 06:58:09 +0200 | spaceseller | (~spacesell@31.147.205.13) |
| 2022-06-12 07:07:21 +0200 | spaceseller | (~spacesell@31.147.205.13) (Read error: Connection reset by peer) |
| 2022-06-12 07:07:35 +0200 | spaceseller | (~spacesell@31.147.205.13) |
| 2022-06-12 07:10:45 +0200 | <spaceseller> | Recieve my appoligies because I borther you with xmobar startup after new xmonad version. The issue was not connnected with the path or xmonad as well. It was xmobarrc config file, I think something with volume control updating or some else. It doesn't matter. |
| 2022-06-12 07:13:28 +0200 | steve__ | (~steve@ool-182c2b80.dyn.optonline.net) (Ping timeout: 246 seconds) |
| 2022-06-12 07:26:02 +0200 | spaceseller | (~spacesell@31.147.205.13) (Quit: Leaving) |
| 2022-06-12 07:59:32 +0200 | <Solid[m]> | liskin: https://tikzit.github.io/ |
| 2022-06-12 10:16:04 +0200 | yosafbridge | (~yosafbrid@static.38.6.217.95.clients.your-server.de) (Quit: Leaving) |
| 2022-06-12 10:21:42 +0200 | yosafbridge | (~yosafbrid@static.38.6.217.95.clients.your-server.de) |
| 2022-06-12 10:44:53 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::ba9a) (Ping timeout: 255 seconds) |
| 2022-06-12 10:45:11 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::ba9a) |
| 2022-06-12 11:05:04 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::ba9a) (Ping timeout: 258 seconds) |
| 2022-06-12 11:15:13 +0200 | alternateved | (~alternate@45.134.212.182) |
| 2022-06-12 13:07:44 +0200 | alternateved | (~alternate@45.134.212.182) (Remote host closed the connection) |
| 2022-06-12 13:08:05 +0200 | alternateved | (~alternate@45.134.212.182) |
| 2022-06-12 13:20:28 +0200 | lternateveda | (~alternate@45.134.212.182) |
| 2022-06-12 13:20:45 +0200 | lternateveda | (~alternate@45.134.212.182) (Remote host closed the connection) |
| 2022-06-12 13:28:34 +0200 | alternateved | (~alternate@45.134.212.182) (Remote host closed the connection) |
| 2022-06-12 14:35:59 +0200 | <geekosaur> | whoops :) |
| 2022-06-12 15:28:31 +0200 | steve__ | (~steve@ool-182c2b80.dyn.optonline.net) |
| 2022-06-12 16:07:23 +0200 | alternateved | (~alternate@45.134.212.182) |
| 2022-06-12 16:10:20 +0200 | jao | (~jao@40.red-79-159-140.dynamicip.rima-tde.net) |
| 2022-06-12 16:20:21 +0200 | jao | (~jao@40.red-79-159-140.dynamicip.rima-tde.net) (Ping timeout: 276 seconds) |
| 2022-06-12 16:45:09 +0200 | Aura1337 | (~Aura1337@2601:5cc:c800:e450::55e9) |
| 2022-06-12 16:46:17 +0200 | <Aura1337> | Hey everyone, im kinda new to xmonad and was wondering how I would make it so that moving/resizing a window with my mouse not make the window into a floating one, thanks in advance :) |
| 2022-06-12 16:46:53 +0200 | <geekosaur> | that kinda contradicts the whole "tiling window manager" thing |
| 2022-06-12 16:47:24 +0200 | <geekosaur> | there's MouseResizableTile but there are strict limits on what you can do with a tiled window while leaving it tiled |
| 2022-06-12 16:47:31 +0200 | <Aura1337> | i see |
| 2022-06-12 16:47:34 +0200 | <geekosaur> | since that's kinda the point |
| 2022-06-12 16:47:48 +0200 | <Aura1337> | so this is intentional? im used to resizing my windows with my mouse |
| 2022-06-12 16:48:17 +0200 | <Aura1337> | and whenever i do that on xmonad, it makes the window float and i don't like that |
| 2022-06-12 16:48:20 +0200 | <geekosaur> | yes. you'll find other tiling window managers behave the same way |
| 2022-06-12 16:49:26 +0200 | <geekosaur> | there are some which have some more flexibility (see the BinarySpacePartition layout in contrib, or the bspwm window manager it was borrowed from) but even so there are limits |
| 2022-06-12 16:49:38 +0200 | <geekosaur> | tiling window managers are their own special world |
| 2022-06-12 16:51:07 +0200 | <Aura1337> | im using that layout currently |
| 2022-06-12 16:51:27 +0200 | <geekosaur> | I don't think anyone's written a mouse-based interface for it yet |
| 2022-06-12 16:54:51 +0200 | <geekosaur> | oh, looks like it supports the XMonad.,Actions.MouseResize interface |
| 2022-06-12 16:55:03 +0200 | <geekosaur> | XMonad.Actions.MouseResize |
| 2022-06-12 16:55:17 +0200 | <geekosaur> | so you may be able to get at least some of what you want that way |
| 2022-06-12 16:55:53 +0200 | <Aura1337> | ty! |
| 2022-06-12 16:59:07 +0200 | <alternateved> | I would say, embrace the mouse-less way of managing windows |
| 2022-06-12 16:59:34 +0200 | <Aura1337> | sounds interesting. i might |
| 2022-06-12 16:59:49 +0200 | <alternateved> | Suddenly, you don't have to bother with resizing windows, just prepare good enough layouts so that windows automagically open, where you want them to open |
| 2022-06-12 17:00:45 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::4588) |
| 2022-06-12 17:13:33 +0200 | <geekosaur> | well, there are still problems, like windows which open popups that go offscreen :/ |
| 2022-06-12 17:36:53 +0200 | <alternateved> | Would not doCenterFloat be fix for that? |
| 2022-06-12 17:39:48 +0200 | Guest86 | (~Guest86@c83-251-160-169.bredband.tele2.se) |
| 2022-06-12 17:39:52 +0200 | <Guest86> | Is anyone good with xmobar here? |
| 2022-06-12 17:39:59 +0200 | <Guest86> | specifically, ppPrinters? |
| 2022-06-12 17:42:35 +0200 | <alternateved> | I would say, don't ask to ask, just ask the question that you would want to ask. |
| 2022-06-12 17:42:56 +0200 | <alternateved> | It would make things a bit easier, I guess |
| 2022-06-12 17:46:54 +0200 | <Guest86> | That makes sense. |
| 2022-06-12 17:47:39 +0200 | Aura1337 | (~Aura1337@2601:5cc:c800:e450::55e9) (Quit: Client closed) |
| 2022-06-12 17:52:53 +0200 | <geekosaur> | problem with this popup is it's the ubuntu update popup and there's no way to distinguish between it and the "updates complete" popup because, y'know, everyone uses gnome |
| 2022-06-12 17:53:07 +0200 | <geekosaur> | :/ |
| 2022-06-12 17:55:02 +0200 | <geekosaur> | (so WM_CLASS is "obviously irrelevant") |
| 2022-06-12 17:56:09 +0200 | <geekosaur> | Isuspect we should just clip the size at the screen boundary at some point |
| 2022-06-12 17:56:37 +0200 | <geekosaur> | for automatically positioned windows, so users can do whatever afterward |
| 2022-06-12 18:02:08 +0200 | <Guest86> | I tried to fix it myself, but it's not going anywhere. I'm trying to create a new, simple formatter for xmobar but the function I'm supplying is apparently missing a parameter. It doesn't really make sense. Maybe it has to do something with record syntax I'm not getting. |
| 2022-06-12 18:02:09 +0200 | <Guest86> | https://pastebin.com/aubdJyFN |
| 2022-06-12 18:02:28 +0200 | <Guest86> | Please see the line containing "ppPrinters" |
| 2022-06-12 18:13:47 +0200 | Guest73 | (~Guest73@c83-251-160-169.bredband.tele2.se) |
| 2022-06-12 18:13:55 +0200 | thunderrd | (~thunderrd@183.182.110.241) (Ping timeout: 246 seconds) |
| 2022-06-12 18:16:40 +0200 | Guest73 | (~Guest73@c83-251-160-169.bredband.tele2.se) (Client Quit) |
| 2022-06-12 18:16:57 +0200 | Guest73 | (~Guest73@c83-251-160-169.bredband.tele2.se) |
| 2022-06-12 18:18:35 +0200 | Guest73 | (~Guest73@c83-251-160-169.bredband.tele2.se) (Client Quit) |
| 2022-06-12 18:45:50 +0200 | <Guest86> | And so what I'm trying to create is formatting for "ppCurrentNoWindows"! |
| 2022-06-12 19:27:21 +0200 | <geekosaur> | you can't just create a new formatter like that. a PP is a record and that is overriding the fields of the record; it can't just create a new field on the fly |
| 2022-06-12 19:27:26 +0200 | <geekosaur> | (ppPrinters) |
| 2022-06-12 19:27:47 +0200 | <geekosaur> | (sorry, I was shopping) |
| 2022-06-12 19:29:57 +0200 | <geekosaur> | this isn't JavaScript; the fields of a record are fixed at definition time, and can be seen in https://github.com/xmonad/xmonad-contrib/blob/master/XMonad/Hooks/StatusBar/PP.hs |
| 2022-06-12 19:36:33 +0200 | Guest73 | (~Guest73@c83-251-160-169.bredband.tele2.se) |
| 2022-06-12 19:38:34 +0200 | Guest73 | (~Guest73@c83-251-160-169.bredband.tele2.se) (Client Quit) |
| 2022-06-12 19:38:55 +0200 | <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 19:39:27 +0200 | <Guest86> | Now I know what you mean! But ppPrinters *is* a field! |
| 2022-06-12 19:40:40 +0200 | <geekosaur> | oh wait, they added that, sorry |
| 2022-06-12 19:41:00 +0200 | <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 19:44:15 +0200 | thunderrd | (~thunderrd@183.182.110.241) |
| 2022-06-12 19:44:41 +0200 | thunderrd | (~thunderrd@183.182.110.241) (Remote host closed the connection) |
| 2022-06-12 19:50:28 +0200 | <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 19:50:48 +0200 | <geekosaur> | that is, it's not simply `ppCurrent`, it's `ppCurrent somePP` |
| 2022-06-12 19:51:03 +0200 | <geekosaur> | (and then that is itself a function passed a workspace name) |
| 2022-06-12 19:52:55 +0200 | <Guest86> | That's the weird thing: the line works with "ppCurrent", but not my own function "ppIsEmptyCurrent" |
| 2022-06-12 19:54:18 +0200 | <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 19:54:24 +0200 | <geekosaur> | what happens in that case? |
| 2022-06-12 19:55:36 +0200 | <Guest86> | when i write `ppPrinters = isEmptyCurrent ?-> ppIsEmptyCurrent` I get the compile error "couldn't match type PP with [Char]..." |
| 2022-06-12 19:55:55 +0200 | <Guest86> | So, what is really, really confusing is this (give me one second): |
| 2022-06-12 19:56:39 +0200 | <geekosaur> | oh, so ?-> may be passing the PP |
| 2022-06-12 19:56:49 +0200 | <geekosaur> | which would imply you need to make it go away |
| 2022-06-12 19:57:03 +0200 | <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#… |
| 2022-06-12 19:57:25 +0200 | <geekosaur> | so \_ -> ppIsEmptyCurrent |
| 2022-06-12 19:57:39 +0200 | <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#… |
| 2022-06-12 19:58:01 +0200 | <Guest86> | My _guess_ is that it is because `ppCurrent` is inside `PP` in the first case. |
| 2022-06-12 19:58:09 +0200 | <Guest86> | I'll try that right away! |
| 2022-06-12 19:58:10 +0200 | <geekosaur> | yes |
| 2022-06-12 19:59:00 +0200 | <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 19:59:58 +0200 | <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 20:00:13 +0200 | <Guest86> | Of course, I'm glad you're answering at all! |
| 2022-06-12 20:00:38 +0200 | <geekosaur> | yeh, it's passed a PP, you need to ignbore it to use your own predicate |
| 2022-06-12 20:01:12 +0200 | <Guest86> | When you're saying it like that, it does make sense. |
| 2022-06-12 20:01:51 +0200 | <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 20:01:52 +0200 | <Guest86> | Thanks a lot, man! This was the big hurdle! |
| 2022-06-12 20:02:02 +0200 | <Guest86> | Haha yeah, no |
| 2022-06-12 20:03:02 +0200 | <Guest86> | I just finished a "Functional Programming" course in my CS studies, and we used Haskell. Loved it! |
| 2022-06-12 20:04:53 +0200 | <Guest86> | Just noticed that you're one of the maintainers! Awesome to have you here, replying! |
| 2022-06-12 20:05:45 +0200 | <geekosaur[m]> | We do that |
| 2022-06-12 20:06:20 +0200 | <geekosaur[m]> | Most of the others are away at Zurihac right now |
| 2022-06-12 20:06:42 +0200 | <alternateved> | Is that the first time they see each other irl? |
| 2022-06-12 20:06:48 +0200 | <liskin> | Yes |
| 2022-06-12 20:06:59 +0200 | <liskin> | And it's way more chill than I expected |
| 2022-06-12 20:07:01 +0200 | <alternateved> | That is nuts :D |
| 2022-06-12 20:07:10 +0200 | <liskin> | So I'm at the lake like half the time |
| 2022-06-12 20:07:17 +0200 | <liskin> | And my face is on fire |
| 2022-06-12 20:07:24 +0200 | <liskin> | (because sun) |
| 2022-06-12 20:07:32 +0200 | <alternateved> | Yeah, suddenly it got real hot |
| 2022-06-12 20:10:22 +0200 | alternateved | (~alternate@45.134.212.182) (Remote host closed the connection) |
| 2022-06-12 20:10:46 +0200 | alternateved | (~alternate@45.134.212.182) |
| 2022-06-12 20:28:44 +0200 | <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 20:29:00 +0200 | <geekosaur> | also I suspect at this point it should simply be deprecated |
| 2022-06-12 20:32:34 +0200 | <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 20:33:27 +0200 | <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 20:38:37 +0200 | Guest73 | (~Guest73@c83-251-160-169.bredband.tele2.se) |
| 2022-06-12 20:41:18 +0200 | Guest73 | (~Guest73@c83-251-160-169.bredband.tele2.se) (Client Quit) |
| 2022-06-12 21:10:24 +0200 | abiss27 | (~abiss27@user/abiss) |
| 2022-06-12 21:13:33 +0200 | alternateved | (~alternate@45.134.212.182) (Remote host closed the connection) |
| 2022-06-12 21:13:57 +0200 | alternateved | (~alternate@45.134.212.182) |
| 2022-06-12 21:16:39 +0200 | alternateved | (~alternate@45.134.212.182) (Remote host closed the connection) |
| 2022-06-12 21:17:02 +0200 | alternateved | (~alternate@45.134.212.182) |
| 2022-06-12 21:30:26 +0200 | stackdroid18 | (14094@user/stackdroid) |
| 2022-06-12 22:08:29 +0200 | Guest86 | (~Guest86@c83-251-160-169.bredband.tele2.se) (Quit: Client closed) |
| 2022-06-12 22:08:45 +0200 | olabandola | (~olabandol@c83-251-160-169.bredband.tele2.se) |
| 2022-06-12 22:09:08 +0200 | olabandola | (~olabandol@c83-251-160-169.bredband.tele2.se) (Client Quit) |
| 2022-06-12 22:24:24 +0200 | olabandola | (~olabandol@c83-251-160-169.bredband.tele2.se) |
| 2022-06-12 22:58:08 +0200 | <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 23:33:49 +0200 | alternateved | (~alternate@45.134.212.182) (Remote host closed the connection) |
| 2022-06-12 23:53:11 +0200 | stackdroid18 | (14094@user/stackdroid) (Quit: Lost terminal) |
| 2022-06-12 23:53:53 +0200 | stackdroid18 | (14094@user/stackdroid) |
| 2022-06-12 23:54:25 +0200 | stackdroid18 | (14094@user/stackdroid) (Client Quit) |
| 2022-06-12 23:59:41 +0200 | olabandola | (~olabandol@c83-251-160-169.bredband.tele2.se) (Quit: Client closed) |