Logs: liberachat/#xmonad
| 2022-02-06 04:50:59 | <galactic_starfis> | ^ I found setTheme |
| 2022-02-06 05:13:41 | × | jao quits (~jao@68.235.43.173) (Ping timeout: 256 seconds) |
| 2022-02-06 05:36:29 | × | thunderrd quits (~thunderrd@183.182.111.73) (Quit: If it wasn't written down it didn't happen...) |
| 2022-02-06 06:30:35 | → | thunderrd joins (~thunderrd@183.182.114.80) |
| 2022-02-06 06:49:19 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2022-02-06 06:49:43 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 2022-02-06 08:53:53 | <Solid> | I always chuckle when thinking about how <> = >> for hooks is due to the trivial monoid instance for () |
| 2022-02-06 08:54:34 | <Solid> | s/monoid/semigroup/ I suppose |
| 2022-02-06 09:14:14 | × | jludwig quits (~justin@user/jludwig) (Read error: Connection reset by peer) |
| 2022-02-06 09:14:32 | → | jludwig joins (~justin@user/jludwig) |
| 2022-02-06 09:17:30 | × | jludwig quits (~justin@user/jludwig) (Client Quit) |
| 2022-02-06 09:31:50 | × | thunderrd quits (~thunderrd@183.182.114.80) (Remote host closed the connection) |
| 2022-02-06 09:32:53 | → | thunderrd joins (~thunderrd@183.182.114.80) |
| 2022-02-06 09:35:36 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 2022-02-06 09:53:28 | → | jludwig joins (~justin@user/jludwig) |
| 2022-02-06 10:08:01 | × | thunderrd quits (~thunderrd@183.182.114.80) (Remote host closed the connection) |
| 2022-02-06 10:08:58 | → | thunderrd joins (~thunderrd@183.182.114.80) |
| 2022-02-06 10:46:34 | × | thunderrd quits (~thunderrd@183.182.114.80) (Quit: If it wasn't written down it didn't happen...) |
| 2022-02-06 10:50:24 | → | seschwar joins (~seschwar@user/seschwar) |
| 2022-02-06 10:52:15 | <galactic_starfis> | I've almost completely decked out a fullscreening procedure. All I need is to setup `Messages` (so that ewmh doesn't need an extra argument), figure out a good way to handle refloating windows, and figure out a decent way to pull whatever decoration `Theme` the user is using out of their layout. |
| 2022-02-06 10:52:51 | <geekosaur> | "all" |
| 2022-02-06 10:53:32 | <geekosaur> | you can modify a theme via messages but you can't extract it |
| 2022-02-06 10:54:05 | <geekosaur> | (and messages areone-way so you can't add a message that tells you the Theme) |
| 2022-02-06 10:56:19 | <geekosaur> | and you can't introspect a Layout to find a Theme hidden within |
| 2022-02-06 10:58:46 | <galactic_starfis> | An alternate variant of this could use fullFloat instead of magnifier, if the user wanted to draw atop any floating windows too. |
| 2022-02-06 10:58:58 | <galactic_starfis> | That'd need a bit more fancywork, but it could be done |
| 2022-02-06 10:59:24 | <geekosaur> | it would probably be more reliable |
| 2022-02-06 10:59:36 | <galactic_starfis> | It's sort of that way already, but it's missing the easy navigation piece, which's the whole reason I'm doing this. |
| 2022-02-06 11:00:12 | <galactic_starfis> | Could I make that module store it in extensible state? |
| 2022-02-06 11:01:06 | <geekosaur> | probably yes. the question is what you do if it's not there (i.e. layout isn't Tabbed) |
| 2022-02-06 11:01:14 | <galactic_starfis> | mmh, that's inconvenient |
| 2022-02-06 11:01:45 | <galactic_starfis> | I had to pass in the theme in many places, the only place that I'm not bothering with is the `ewmh` module - that thing's complex |
| 2022-02-06 11:02:02 | <geekosaur> | if I had to do fullscreen via a layout, I'd probably match up the passed rectangle against the screen rectangles (ScreenDetail) and use that instead of trying to hide the struts separately |
| 2022-02-06 11:02:09 | <galactic_starfis> | ugh, if I could just fetch the theme, it'd be so much simpler |
| 2022-02-06 11:02:13 | <geekosaur> | which is more or less what fullfloat does |
| 2022-02-06 11:02:38 | <geekosaur> | that'd also hide tabs |
| 2022-02-06 11:02:38 | <galactic_starfis> | hm, though, perhaps I could have the user store the theme in extensible state upon initialization 🤔 |
| 2022-02-06 11:02:56 | <galactic_starfis> | so long as they're only using 1 theme, that should work |
| 2022-02-06 11:06:39 | <galactic_starfis> | everything works, the theme is the only annoying thing at the moment |
| 2022-02-06 11:07:54 | <galactic_starfis> | but perhaps that'd work better, unsure of how I'd do that from within this context, as I thought any layout after struts/decos didn't have the ability to grow the rectangle past that |
| 2022-02-06 11:09:05 | <geekosaur> | it has the ability, it's just not recommended. |
| 2022-02-06 11:10:00 | <geekosaur> | your biggest problem becomes making sure the stuff under the rectangle remains under it, but there are ways around that too |
| 2022-02-06 11:14:17 | <galactic_starfis> | Can I do `do x <- XS.get Something`? I'm trying it right now, it's not working... Is `>>=` strictly necessary in this context? |
| 2022-02-06 11:15:26 | <Solid> | XS.get doesn't take an argument |
| 2022-02-06 11:15:41 | <Solid> | it learns about what it needs to get purely by its type |
| 2022-02-06 11:16:46 | <galactic_starfis> | ah |
| 2022-02-06 11:17:33 | <galactic_starfis> | More directly: is there a way to do `do x <- someState`? |
| 2022-02-06 11:18:11 | × | mc47 quits (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2022-02-06 11:18:32 | <Solid> | sure, you just need to tell get which type to get; `do x <- XS.get @MyType` or (if it's not abstract) `do (MyType content) <- XS.get` |
| 2022-02-06 11:26:02 | → | thunderrd joins (~thunderrd@183.182.114.80) |
| 2022-02-06 11:31:25 | <galactic_starfis> | ah, thanks! |
| 2022-02-06 11:32:43 | <geekosaur> | the parentheses are optional there |
| 2022-02-06 11:33:32 | <galactic_starfis> | ^ now that is cool |
| 2022-02-06 11:33:45 | <geekosaur> | % do Just x <- listToMaybe [1]; show x |
| 2022-02-06 11:33:53 | <galactic_starfis> | now the ewmh module works with it too. |
| 2022-02-06 11:33:54 | <geekosaur> | rats, no yahb here |
| 2022-02-06 11:34:11 | <geekosaur> | > do Just x <- listToMaybe [1]; show x |
| 2022-02-06 11:34:13 | <lambdabot> | error: |
| 2022-02-06 11:34:13 | <lambdabot> | • Couldn't match type ‘[]’ with ‘Maybe’ |
| 2022-02-06 11:34:13 | <lambdabot> | Expected type: Maybe Char |
| 2022-02-06 11:34:33 | <galactic_starfis> | yeah, floating window retention and optional covering support are all that're left to do |
| 2022-02-06 11:34:44 | <geekosaur> | > do Just x <- listToMaybe [1]; Just (show x) |
| 2022-02-06 11:34:45 | <lambdabot> | error: |
| 2022-02-06 11:34:45 | <lambdabot> | • No instance for (Num (Maybe ())) arising from the literal ‘1’ |
| 2022-02-06 11:34:45 | <lambdabot> | • In the expression: 1 |
| 2022-02-06 11:35:08 | <geekosaur> | really need an IO instance rather than trying to hack it… |
| 2022-02-06 11:35:11 | <galactic_starfis> | It's not the cleanest implementation, as that rectangle based one you highlighted is probably better... But it works! |
| 2022-02-06 11:35:47 | <galactic_starfis> | Just switched my entire config over to using it. So much better than the fullFloat that ewmh is using |
| 2022-02-06 11:36:35 | <galactic_starfis> | I created really awkward stack modification functions a while ago, just to attempt to overcome this problem... Definitely not the way to go. |
| 2022-02-06 11:37:39 | <galactic_starfis> | (they didn't really work well) |
| 2022-02-06 11:37:41 | → | steve__ joins (~steve@ool-182c2b80.dyn.optonline.net) |
| 2022-02-06 11:40:25 | <galactic_starfis> | Anything glaring that I should be doing differently?: https://gitlab.com/mikenrafter/config/-/tree/master/.xmonad/lib/Custom (see Fullscreen.hs, Magnfier.hs, and EwmhDesktops.hs) |
| 2022-02-06 12:44:24 | × | thunderrd quits (~thunderrd@183.182.114.80) (Quit: If it wasn't written down it didn't happen...) |
| 2022-02-06 12:44:55 | → | thunderrd joins (~thunderrd@183.182.114.80) |
| 2022-02-06 12:46:52 | × | thunderrd quits (~thunderrd@183.182.114.80) (Client Quit) |
| 2022-02-06 12:47:16 | → | thunderrd joins (~thunderrd@183.182.114.80) |
| 2022-02-06 14:05:08 | × | thunderrd quits (~thunderrd@183.182.114.80) (Remote host closed the connection) |
| 2022-02-06 14:06:26 | → | thunderrd joins (~thunderrd@183.182.114.80) |
| 2022-02-06 14:10:12 | × | thunderrd quits (~thunderrd@183.182.114.80) (Remote host closed the connection) |
| 2022-02-06 14:14:44 | × | Buliarous quits (~gypsydang@46.232.210.139) (Ping timeout: 268 seconds) |
| 2022-02-06 14:31:26 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 2022-02-06 14:31:26 | → | allbery_b joins (~geekosaur@xmonad/geekosaur) |
| 2022-02-06 14:31:29 | allbery_b | is now known as geekosaur |
| 2022-02-06 14:43:08 | → | thunderrd joins (~thunderrd@183.182.114.80) |
| 2022-02-06 14:46:17 | × | mvk quits (~mvk@2607:fea8:5cdc:bf00::80f1) (Ping timeout: 240 seconds) |
| 2022-02-06 14:53:56 | × | thunderrd quits (~thunderrd@183.182.114.80) (Remote host closed the connection) |
| 2022-02-06 14:54:52 | → | thunderrd joins (~thunderrd@183.182.114.80) |
| 2022-02-06 15:34:00 | → | catman joins (~catman@user/catman) |
| 2022-02-06 15:46:36 | → | mvk joins (~mvk@2607:fea8:5cdc:bf00::80f1) |
| 2022-02-06 15:53:24 | → | jao joins (~jao@static-68-235-44-10.cust.tzulo.com) |
| 2022-02-06 17:06:53 | × | thunderrd quits (~thunderrd@183.182.114.80) (Remote host closed the connection) |
| 2022-02-06 17:07:55 | → | thunderrd joins (~thunderrd@183.182.114.80) |
| 2022-02-06 17:28:44 | × | thunderrd quits (~thunderrd@183.182.114.80) (Remote host closed the connection) |
| 2022-02-06 17:29:55 | → | thunderrd joins (~thunderrd@183.182.114.80) |
| 2022-02-06 18:12:03 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 2022-02-06 18:54:43 | × | mc47 quits (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2022-02-06 19:43:19 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2022-02-06 19:45:10 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 2022-02-06 20:41:59 | <galactic_starfis> | I'm trying to add fullscreen support via managehook as well, this' what I've tried, and it's not worked. Pointers? `isFullscreen -?> (\x -> doF $ addFS x )` |
| 2022-02-06 20:42:17 | <galactic_starfis> | oh, sorry, whereas addFS is of type `Window -> X ()` |
All times are in UTC.