| 2023-07-17 01:05:01 +0200 | td_ | (~td@i5387091F.versanet.de) (Ping timeout: 245 seconds) |
| 2023-07-17 01:06:50 +0200 | td_ | (~td@i53870936.versanet.de) |
| 2023-07-17 01:16:03 +0200 | thyriaen | (~thyriaen@2a01:aea0:dd4:6659:269:41a:675c:ada3) |
| 2023-07-17 01:16:30 +0200 | <thyriaen> | are you around geekosaur ? |
| 2023-07-17 01:16:57 +0200 | <geekosaur[c]> | Yes |
| 2023-07-17 01:17:14 +0200 | <thyriaen> | my tint2 panel is set to "draw on bottom layer" |
| 2023-07-17 01:17:26 +0200 | <thyriaen> | however when i switch a window to fullscreen in xmonad |
| 2023-07-17 01:17:30 +0200 | <thyriaen> | it goes underneath |
| 2023-07-17 01:17:42 +0200 | <thyriaen> | can i configure my fullscreen layout to always draw over everything ? |
| 2023-07-17 01:18:20 +0200 | <thyriaen> | my layout i am talking about is simply |
| 2023-07-17 01:18:21 +0200 | <thyriaen> | noBorders Simplest |
| 2023-07-17 01:19:19 +0200 | <geekosaur[c]> | Hm. Solid , any ideas? |
| 2023-07-17 01:20:09 +0200 | <geekosaur[c]> | I think you broke some expectations by using a layout |
| 2023-07-17 01:20:41 +0200 | <thyriaen> | i am confused, how so ? |
| 2023-07-17 01:24:07 +0200 | <geekosaur[c]> | Normal fullscreen is a floating window |
| 2023-07-17 01:25:13 +0200 | <geekosaur[c]> | You might be able to use avoidStrutsOn [] (noBorders Simplest) |
| 2023-07-17 01:26:34 +0200 | <geekosaur[c]> | It might also require something I'll have to look up once I'm back inside |
| 2023-07-17 01:34:12 +0200 | <geekosaur> | okay, so the problem with how you configured tint2 is that it's trying to use EWMH layers, but we don't (and currently can't) support them |
| 2023-07-17 01:34:35 +0200 | <geekosaur> | you will have to lower the window inside of xmonad if there's no way to make it use XLowerWindow() directly |
| 2023-07-17 01:37:26 +0200 | <geekosaur> | appName =? "tint2" --> ask >>= \w -> liftX (withDisplay $ \d -> io (lowerWindow d w)) >> idHook |
| 2023-07-17 01:37:45 +0200 | <geekosaur> | (in your manageHook) |
| 2023-07-17 01:39:09 +0200 | u8353v[m] | (~u8353vmat@2001:470:69fc:105::3:45df) |
| 2023-07-17 01:39:36 +0200 | <u8353v[m]> | Are X11 questions welcome here? |
| 2023-07-17 01:39:55 +0200 | <geekosaur> | yes |
| 2023-07-17 01:40:55 +0200 | <geekosaur> | well, some of them. if it involves a gc then you may not get much help here 🙂 |
| 2023-07-17 02:21:36 +0200 | thyriaen | (~thyriaen@2a01:aea0:dd4:6659:269:41a:675c:ada3) (Remote host closed the connection) |
| 2023-07-17 02:40:25 +0200 | rundown | (~defjam@2a02:c7e:2807:b900:90c2:f728:4677:1e92) (Ping timeout: 240 seconds) |
| 2023-07-17 02:42:02 +0200 | rundown | (~defjam@90.211.252.220) |
| 2023-07-17 03:48:22 +0200 | zawaken- | (~zawaken@user/zawaken) |
| 2023-07-17 03:49:11 +0200 | zawaken | (~zawaken@user/zawaken) (Ping timeout: 260 seconds) |
| 2023-07-17 03:51:33 +0200 | mudri | (uid317655@id-317655.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-07-17 03:52:23 +0200 | zawaken | (~zawaken@user/zawaken) |
| 2023-07-17 03:52:58 +0200 | zawaken- | (~zawaken@user/zawaken) (Ping timeout: 272 seconds) |
| 2023-07-17 04:29:42 +0200 | td_ | (~td@i53870936.versanet.de) (Ping timeout: 272 seconds) |
| 2023-07-17 04:31:19 +0200 | td_ | (~td@i53870921.versanet.de) |
| 2023-07-17 05:08:58 +0200 | ft | (~ft@p508db47d.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2023-07-17 05:10:34 +0200 | ft | (~ft@p508dbe50.dip0.t-ipconnect.de) |
| 2023-07-17 06:47:18 +0200 | <galactic_starfis> | <thyriaen> "i am confused, how so ?" <- I made a custom version of fullscreen that would in theory work for you |
| 2023-07-17 06:47:36 +0200 | <galactic_starfis> | it should probably be updated to use the new emwh hookable stuff liskin worked on |
| 2023-07-17 06:47:43 +0200 | <galactic_starfis> | but I made it before that was a thing |
| 2023-07-17 06:48:01 +0200 | <galactic_starfis> | <galactic_starfis> "A while ago I setup a custom..." <- it's here, if you're interested |
| 2023-07-17 06:48:17 +0200 | <galactic_starfis> | looking at the diff, it seems to be pretty similar code, so |
| 2023-07-17 06:48:20 +0200 | <galactic_starfis> | ¯\_(ツ)_/¯ |
| 2023-07-17 08:01:37 +0200 | mncheck | (~mncheck@193.224.205.254) |
| 2023-07-17 08:55:04 +0200 | <Solid> | ?tell thyriaen X.U.Hacks has some lowering functionality that you might find interesting |
| 2023-07-17 08:55:05 +0200 | <lambdabot> | Consider it noted. |
| 2023-07-17 09:23:06 +0200 | thyriaen | (~thyriaen@2a01:aea0:dd4:6659:6245:cbff:fe9f:48b1) |
| 2023-07-17 09:24:26 +0200 | <thyriaen> | for some reason automatic shifting of my windows stopped today |
| 2023-07-17 09:25:43 +0200 | <thyriaen> | https://hastebin.de/edazamakum.lua |
| 2023-07-17 10:14:04 +0200 | thyriaen | (~thyriaen@2a01:aea0:dd4:6659:6245:cbff:fe9f:48b1) (Quit: Leaving) |
| 2023-07-17 10:14:16 +0200 | thyriaen | (~thyriaen@2a01:aea0:dd4:6659:6245:cbff:fe9f:48b1) |
| 2023-07-17 10:31:55 +0200 | _qw_ | (~eqw@31.134.178.99) (Ping timeout: 240 seconds) |
| 2023-07-17 11:05:20 +0200 | liskin[m] | (~liskinmat@2001:470:69fc:105::768) (Remote host closed the connection) |
| 2023-07-17 11:08:00 +0200 | unclechu | (~unclechu@2001:470:69fc:105::354) (Remote host closed the connection) |
| 2023-07-17 11:25:06 +0200 | ft | (~ft@p508dbe50.dip0.t-ipconnect.de) (Quit: leaving) |
| 2023-07-17 11:52:18 +0200 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Remote host closed the connection) |
| 2023-07-17 12:09:11 +0200 | redgloboli | (~redglobol@user/redgloboli) (Quit: ...enter the matrix...) |
| 2023-07-17 12:10:26 +0200 | redgloboli | (~redglobol@user/redgloboli) |
| 2023-07-17 13:03:06 +0200 | _qw | (~eqw@31.134.178.99) |
| 2023-07-17 15:03:40 +0200 | telser | (~quassel@user/telser) |
| 2023-07-17 15:17:00 +0200 | <thyriaen> | ah i found my issue |
| 2023-07-17 15:17:14 +0200 | liskin[m] | (~liskinmat@2001:470:69fc:105::768) |
| 2023-07-17 15:17:26 +0200 | <thyriaen> | let's say my workspaces are in myWS as an array with 6 entries |
| 2023-07-17 15:17:41 +0200 | <thyriaen> | i want to do a doShift "2" |
| 2023-07-17 15:17:57 +0200 | <thyriaen> | but when i try to do doShift myWS[2] i get a type error |
| 2023-07-17 15:18:00 +0200 | unclechu | (~unclechu@2001:470:69fc:105::354) |
| 2023-07-17 15:19:04 +0200 | <geekosaur> | (a) it's not an array, it's a linked list (b) that's not Haskell syntax, it's `(myWs !! 2)` (c) and wouldn't that be an off-by-one error since indexes start at 0, not 1? |
| 2023-07-17 15:19:59 +0200 | <thyriaen> | what does !! do ? |
| 2023-07-17 15:20:08 +0200 | <geekosaur> | :t (!!) |
| 2023-07-17 15:20:09 +0200 | <lambdabot> | [a] -> Int -> a |
| 2023-07-17 15:20:09 +0200 | <thyriaen> | pop an element twice ? |
| 2023-07-17 15:20:33 +0200 | <geekosaur> | no |
| 2023-07-17 15:21:59 +0200 | <geekosaur> | !! is list indexing, ! is array indexing. arrays are not lists, they're actually a somewhat specialized type; you probably don't want them unless you have fairly large arrays |
| 2023-07-17 15:22:11 +0200 | <geekosaur> | we also have vectors which are in between |
| 2023-07-17 15:23:15 +0200 | <thyriaen> | ok thanks |
| 2023-07-17 15:23:44 +0200 | <thyriaen> | i really need to understand haskell properly |
| 2023-07-17 15:23:56 +0200 | <thyriaen> | because at the moment i am just winging it and don't really |
| 2023-07-17 15:24:00 +0200 | <geekosaur> | @where wikibook |
| 2023-07-17 15:24:00 +0200 | <lambdabot> | http://en.wikibooks.org/wiki/Haskell |
| 2023-07-17 15:24:05 +0200 | <geekosaur> | @where cis194 |
| 2023-07-17 15:24:05 +0200 | <lambdabot> | <https://github.com/byorgey/haskell-course>,<https://www.seas.upenn.edu/~cis194/spring13/lectures.html> |
| 2023-07-17 15:24:43 +0200 | <geekosaur> | and #haskell at your service on your journey 🙂 |
| 2023-07-17 15:26:12 +0200 | <thyriaen> | geekosaur, i did this cis course until 2 or 3 |
| 2023-07-17 15:26:18 +0200 | <thyriaen> | then life got in the way |
| 2023-07-17 15:26:27 +0200 | <thyriaen> | thanks for reminding me -- gonna pick it up again |
| 2023-07-17 15:27:02 +0200 | <geekosaur> | there's no hurry, it's not like a prof is hovering over you grading your work with the final looming 🙂 |
| 2023-07-17 15:27:43 +0200 | <thyriaen> | i wish there were |
| 2023-07-17 15:27:54 +0200 | <thyriaen> | my university doesn't have a haskell course unfortunately |
| 2023-07-17 15:28:29 +0200 | <thyriaen> | i love haskell because i am a pretty foundational person -- the reasoning behind everything has to be well reasoned that is the most important for me |
| 2023-07-17 15:32:43 +0200 | <geekosaur> | I think core Haskell is mostly well reasoned (I have some issues with records) but the various extensions can be less so (including, sadly, most of the attempts to patch up records) |
| 2023-07-17 15:33:05 +0200 | <geekosaur> | (I'm firmly on the side of "chuck it all and add row polymorphism") |
| 2023-07-17 15:34:53 +0200 | <thyriaen> | what are records ? |
| 2023-07-17 15:38:06 +0200 | <geekosaur> | structures containing values. you're using one when you configure xmonad, and they're good enough for that but not for serious data processing. https://github.com/xmonad/xmonad/blob/master/src/XMonad/Core.hs#L113-L142 |
| 2023-07-17 15:38:31 +0200 | <thyriaen> | is a linked list a structure ? |
| 2023-07-17 15:39:03 +0200 | <geekosaur> | row polymorphism lets you do things like build records incrementally without hacks like "higher kinded data" (which requires a type family or a lot of extra noise) |
| 2023-07-17 15:39:38 +0200 | <geekosaur> | in some sense, but not the sense usually intended here; it's a bunch of structures pointing to each other |
| 2023-07-17 15:39:46 +0200 | <thyriaen> | geekosaur, i don't understand - i think we should continue this after i did the tutorial :p |
| 2023-07-17 15:39:54 +0200 | <thyriaen> | ah ok |
| 2023-07-17 15:40:30 +0200 | <geekosaur> | the core structure of a linked list is (:) |
| 2023-07-17 15:40:48 +0200 | <geekosaur> | there's an item on one side and another linked list on the other |
| 2023-07-17 15:40:58 +0200 | <thyriaen> | geekosaur, that one i know :p |
| 2023-07-17 15:41:54 +0200 | <geekosaur> | right, that's part of why I started with it. |
| 2023-07-17 15:42:00 +0200 | <thyriaen> | perfect |
| 2023-07-17 15:42:07 +0200 | <geekosaur> | anyway it's a structure that holds two values |
| 2023-07-17 15:42:15 +0200 | <geekosaur> | records hold multiple values |
| 2023-07-17 15:42:36 +0200 | <thyriaen> | kinda like a struct in C ? |
| 2023-07-17 15:45:34 +0200 | <thyriaen> | https://www.youtube.com/watch?v=OFzXaFbxDcM |
| 2023-07-17 15:45:53 +0200 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) |
| 2023-07-17 15:46:29 +0200 | <geekosaur> | almost exactly like a struct in C |
| 2023-07-17 15:46:34 +0200 | <thyriaen> | ok |
| 2023-07-17 15:46:35 +0200 | <thyriaen> | neat |
| 2023-07-17 15:47:24 +0200 | <geekosaur> | we have 19 things in our config record, but you use the default (`def`) for most of them |
| 2023-07-17 15:47:52 +0200 | <thyriaen> | yes i guess i use the default and then change certain entries |
| 2023-07-17 15:49:58 +0200 | <geekosaur> | ("record update syntax") |
| 2023-07-17 15:51:39 +0200 | <thyriaen> | ok |
| 2023-07-17 16:17:10 +0200 | <immibis> | Most Haskell types are like structs in C. Records are unique because the items have names, not just an order. That's what makes them |
| 2023-07-17 16:18:04 +0200 | <immibis> | and therefore when you define a record it also makes functions with names that access each part of the record, and the names can't overlap between two records, and that's the stupid part of records and what they keep trying to fix |
| 2023-07-17 16:21:53 +0200 | <immibis> | normal haskell structs just have an order, like how the linked list struct is a:b, a and b don't actually have names, it's something:something, and the way to get the first something is pattern matching along the lines of (variable:_) <- list |
| 2023-07-17 16:55:11 +0200 | _qw | (~eqw@31.134.178.99) (Ping timeout: 264 seconds) |
| 2023-07-17 16:56:49 +0200 | _qw | (~eqw@31.134.178.99) |
| 2023-07-17 18:27:20 +0200 | liskin[m] | (~liskinmat@2001:470:69fc:105::768) (Remote host closed the connection) |
| 2023-07-17 18:27:21 +0200 | unclechu | (~unclechu@2001:470:69fc:105::354) (Remote host closed the connection) |
| 2023-07-17 19:28:23 +0200 | thyriaen | (~thyriaen@2a01:aea0:dd4:6659:6245:cbff:fe9f:48b1) (Quit: Leaving) |
| 2023-07-17 20:29:17 +0200 | rundown | (~defjam@90.211.252.220) (Ping timeout: 246 seconds) |
| 2023-07-17 20:48:14 +0200 | rundown | (~defjam@2a02:c7e:2807:b900:40dc:8f12:e31c:79a6) |
| 2023-07-17 21:48:40 +0200 | ft | (~ft@p508dbe50.dip0.t-ipconnect.de) |
| 2023-07-17 23:02:55 +0200 | <jabuxas> | does anyone here use plasma with xmonad? i cant seem to enter edit mode |
| 2023-07-17 23:03:10 +0200 | liskin[m] | (~liskinmat@2001:470:69fc:105::768) |
| 2023-07-17 23:03:25 +0200 | unclechu | (~unclechu@2001:470:69fc:105::354) |
| 2023-07-17 23:03:48 +0200 | <geekosaur> | is this https://github.com/xmonad/xmonad/issues/174 ? |
| 2023-07-17 23:04:00 +0200 | <geekosaur> | or a different plasma? |