| 2023-02-05 00:05:38 +0100 | lambdabot | (~lambdabot@haskell/bot/lambdabot) (Remote host closed the connection) |
| 2023-02-05 00:07:12 +0100 | lambdabot | (~lambdabot@haskell/bot/lambdabot) |
| 2023-02-05 00:46:14 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2023-02-05 01:02:07 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2023-02-05 01:26:26 +0100 | mvk | (~mvk@2607:fea8:5caa:ac00::f944) |
| 2023-02-05 02:56:54 +0100 | mvk | (~mvk@2607:fea8:5caa:ac00::f944) (Quit: Going elsewhere) |
| 2023-02-05 04:04:35 +0100 | banc | (banc@gateway/vpn/protonvpn/banc) (Ping timeout: 252 seconds) |
| 2023-02-05 04:06:54 +0100 | ml| | (~ml|@user/ml/x-5298235) (Ping timeout: 260 seconds) |
| 2023-02-05 04:07:31 +0100 | td_ | (~td@i53870930.versanet.de) (Ping timeout: 252 seconds) |
| 2023-02-05 04:09:22 +0100 | td_ | (~td@i53870931.versanet.de) |
| 2023-02-05 04:20:25 +0100 | ml| | (~ml|@user/ml/x-5298235) |
| 2023-02-05 04:22:46 +0100 | banc | (banc@gateway/vpn/protonvpn/banc) |
| 2023-02-05 04:27:01 +0100 | ml| | (~ml|@user/ml/x-5298235) (Ping timeout: 268 seconds) |
| 2023-02-05 04:38:46 +0100 | nrv | (~nrv@user/nrv) |
| 2023-02-05 04:39:39 +0100 | nrv | (~nrv@user/nrv) (Client Quit) |
| 2023-02-05 04:40:00 +0100 | ml| | (~ml|@user/ml/x-5298235) |
| 2023-02-05 04:42:44 +0100 | terrorjack | (~terrorjac@2a01:4f8:1c1e:4e8c::) (Quit: The Lounge - https://thelounge.chat) |
| 2023-02-05 04:45:21 +0100 | terrorjack | (~terrorjac@2a01:4f8:1c1e:4e8c::) |
| 2023-02-05 07:22:13 +0100 | ^[ | (~user@user//x-8473491) (Quit: ^[) |
| 2023-02-05 07:27:55 +0100 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 248 seconds) |
| 2023-02-05 09:10:42 +0100 | <Solid> | https://discourse.haskell.org/t/zurihac-2023-takes-place-in-person-10-12-june-registration-now-ope… |
| 2023-02-05 09:10:46 +0100 | <Solid> | in case people want to attend again :) |
| 2023-02-05 10:00:13 +0100 | unclechu | (~unclechu@2001:470:69fc:105::354) (Quit: You have been kicked for being idle) |
| 2023-02-05 10:21:40 +0100 | thyriaen | (~thyriaen@2a01:aea0:dd4:5074:ccad:a9cd:c42b:c2b7) |
| 2023-02-05 10:21:45 +0100 | qbt | (~qbt@user/edun) |
| 2023-02-05 10:22:45 +0100 | <thyriaen> | Howdy I love my tabbed layout but also my rounded corners: here is what it looks like https://imgur.com/gef32eT - is it possible to havea more integrated look of the tabs to be rounded in the top and not the window itself ? |
| 2023-02-05 10:27:14 +0100 | thyriaen | (~thyriaen@2a01:aea0:dd4:5074:ccad:a9cd:c42b:c2b7) (Quit: Leaving) |
| 2023-02-05 10:44:21 +0100 | thyriaen | (~thyriaen@2a01:aea0:dd4:5074:6245:cbff:fe9f:48b1) |
| 2023-02-05 11:04:01 +0100 | thyriaen | (~thyriaen@2a01:aea0:dd4:5074:6245:cbff:fe9f:48b1) (Remote host closed the connection) |
| 2023-02-05 11:15:44 +0100 | thyriaen | (~thyriaen@2a01:aea0:dd4:5074:ccad:a9cd:c42b:c2b7) |
| 2023-02-05 11:48:59 +0100 | mc47 | (~mc47@xmonad/TheMC47) |
| 2023-02-05 12:01:04 +0100 | thyriaen | (~thyriaen@2a01:aea0:dd4:5074:ccad:a9cd:c42b:c2b7) (Quit: Leaving) |
| 2023-02-05 12:48:37 +0100 | qbt | (~qbt@user/edun) (Quit: WeeChat 3.5) |
| 2023-02-05 12:55:36 +0100 | qbt | (~qbt@user/edun) |
| 2023-02-05 13:01:45 +0100 | thyriaen | (~thyriaen@2a01:aea0:dd4:5074:6245:cbff:fe9f:48b1) |
| 2023-02-05 13:11:14 +0100 | malook | (~Thunderbi@5.110.225.18) |
| 2023-02-05 13:19:35 +0100 | malook | (~Thunderbi@5.110.225.18) (Quit: malook) |
| 2023-02-05 13:53:58 +0100 | <mc47> | Is anyone considering ZuriHac? :D they posted some details https://zfoh.ch/zurihac2023/ |
| 2023-02-05 13:55:58 +0100 | <thyriaen> | mc47, I am now :p |
| 2023-02-05 13:57:09 +0100 | <mc47> | Last year was fun, I'm considering to go but I have to see how life goes |
| 2023-02-05 14:04:30 +0100 | <Solid> | mc47: I'll probably attend again as well |
| 2023-02-05 14:29:33 +0100 | <geekosaur> | thyriaen, I think we've discussed that before, the tab implementation would have to be rewritten completely |
| 2023-02-05 14:43:06 +0100 | qbt | (~qbt@user/edun) (Quit: WeeChat 3.5) |
| 2023-02-05 14:44:43 +0100 | <thyriaen> | geekosaur, okay :/ |
| 2023-02-05 14:45:27 +0100 | <thyriaen> | geekosaur, is there a way to get a gap between tabs and the window ? |
| 2023-02-05 14:47:13 +0100 | <geekosaur> | use `addTabs` on a layout with `Spacing` |
| 2023-02-05 14:57:38 +0100 | <liskin> | Solid, mc47: similar here, need to see how life goes, not committing to anything just yet |
| 2023-02-05 14:59:02 +0100 | <liskin> | Hopefully by then I'll have seen a psychiatrist and also will have switched to a 4-day work week, but... who knows |
| 2023-02-05 14:59:55 +0100 | <liskin> | Zurich was lovely though, it'd probably be worth it going there just for the nature, not even trying to participate in the hackathon :-) |
| 2023-02-05 15:36:01 +0100 | qbt | (~qbt@user/edun) |
| 2023-02-05 15:39:50 +0100 | <thunderrd> | jabuxas, geekosaur: x11-misc/xmobar-0.46 removed xft font support, is your issue related to that? |
| 2023-02-05 15:45:56 +0100 | <geekosaur> | that shouldn't cause it to start ignoring spaces, though |
| 2023-02-05 15:48:55 +0100 | <geekosaur> | thyriaen, if you need a headstart, `simpleTabbed` is the same as `addTabs shrinkText Simplest`. Here you might want something like `addTabs shrinkText (spacingRaw False (Border 10 0 0 0) True (Border 0 0 0 0) False Simplest)` |
| 2023-02-05 15:49:17 +0100 | <geekosaur> | (import `XMonad.Layout.Spacing` and `XMonad.Layout.Simplest`) |
| 2023-02-05 16:30:01 +0100 | [Leary] | (~Leary]@user/Leary/x-0910699) (Remote host closed the connection) |
| 2023-02-05 16:30:25 +0100 | [Leary] | (~Leary]@user/Leary/x-0910699) |
| 2023-02-05 17:00:04 +0100 | Solid[m] | (~slot-matr@2001:470:69fc:105::1:a84) (Quit: You have been kicked for being idle) |
| 2023-02-05 17:04:15 +0100 | <mc47> | liskin: we didn't do much "participation" last year :P |
| 2023-02-05 17:05:30 +0100 | <mc47> | hopefully things, whatever these might be, work out for all of us |
| 2023-02-05 17:07:35 +0100 | <thyriaen> | geekosaur, thank you |
| 2023-02-05 17:07:37 +0100 | <thyriaen> | i will try |
| 2023-02-05 17:09:21 +0100 | <thyriaen> | geekosaur, my current layout is ( addTabs shrinkText tabConfig . gap ) Simplest |
| 2023-02-05 17:10:06 +0100 | <thyriaen> | gap = spacingRaw False (Border 8 8 8 8 ) True (Border 8 8 8 8) True |
| 2023-02-05 17:10:43 +0100 | <thyriaen> | so in essence i have addTabs shrinkText tabConfig . ( spacingRaw False (Border 8 8 8 8 ) True (Border 8 8 8 8) True ) Simplest |
| 2023-02-05 17:11:13 +0100 | <geekosaur[m]> | I'm shopping right now, won't be back for an hour or so |
| 2023-02-05 17:12:39 +0100 | <geekosaur[m]> | Note that what xmonad calls a gap is a space for docks, not what you want |
| 2023-02-05 17:21:54 +0100 | hrberg | (~quassel@171.79-160-161.customer.lyse.net) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2023-02-05 17:22:13 +0100 | hrberg | (~quassel@171.79-160-161.customer.lyse.net) |
| 2023-02-05 17:35:08 +0100 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2023-02-05 17:50:42 +0100 | ectospasm | (~ectospasm@user/ectospasm) (Quit: WeeChat 3.8) |
| 2023-02-05 18:02:24 +0100 | qbt | (~qbt@user/edun) (Ping timeout: 248 seconds) |
| 2023-02-05 18:14:40 +0100 | <geekosaur> | okay, I'm back |
| 2023-02-05 18:15:01 +0100 | <geekosaur> | I set the later stuff to 0 and False because you only have one window on the screen so it's pointless |
| 2023-02-05 18:15:39 +0100 | <geekosaur> | it specifies gaps between windows |
| 2023-02-05 18:25:29 +0100 | <thyriaen> | geekosaur, welcome back |
| 2023-02-05 18:25:43 +0100 | <thyriaen> | in another layout i have 2 windows |
| 2023-02-05 18:25:58 +0100 | <thyriaen> | geekosaur, https://paste.tomsmeding.com/5qIxWPme |
| 2023-02-05 18:44:35 +0100 | <liskin> | mc47: :-D |
| 2023-02-05 18:45:13 +0100 | <liskin> | mc47: yeah but this time I wouldn't even try :-D |
| 2023-02-05 19:01:33 +0100 | Solid[m] | (~slot-matr@2001:470:69fc:105::1:a84) |
| 2023-02-05 19:01:51 +0100 | <Solid> | that just means even less stress :> |
| 2023-02-05 19:28:17 +0100 | <liskin> | That's my motto these days |
| 2023-02-05 19:28:22 +0100 | ectospasm | (~ectospasm@user/ectospasm) |
| 2023-02-05 21:25:15 +0100 | <mc47> | Anyone has an idea what could cause this error? X Error of failed request: BadDrawable (invalid Pixmap or Window parameter) |
| 2023-02-05 21:25:56 +0100 | <mc47> | xmobar throws it occasionally when it's restarted with dynamicSBs |
| 2023-02-05 21:26:13 +0100 | HAL[m]1 | (~evadk8mat@2001:470:69fc:105::3ed0) |
| 2023-02-05 21:26:20 +0100 | <geekosaur> | o.O |
| 2023-02-05 21:27:20 +0100 | <geekosaur> | I have several ideas of what might cause it, but don't know the xmobar source well enough to say which one(s) might be relevant |
| 2023-02-05 21:27:40 +0100 | qlicztbfwliztcbl | (~qlicztbfw@p20030100070001210c03c69d935b4fa9.dip0.t-ipconnect.de) |
| 2023-02-05 21:31:18 +0100 | piele_ | (~piele@tbonesteak.creativeserver.net) (Ping timeout: 268 seconds) |
| 2023-02-05 21:41:37 +0100 | <thyriaen> | geekosaur, could you explain how the spawcingRaw works ? how can i introduce a spacing betwwen my tabs and the window in my given config ? |
| 2023-02-05 21:43:11 +0100 | <geekosaur> | the first (Border u d l r) specifies the border between windows and the edge of the screen rectangle (which for addTabs has been reduced by the size of the tab area at the top (or bottom for addTabsBottom)) |
| 2023-02-05 21:44:28 +0100 | <geekosaur> | sorry, u d r l |
| 2023-02-05 21:44:40 +0100 | <geekosaur> | or t b r l if you prefer |
| 2023-02-05 21:44:57 +0100 | <thyriaen> | so |
| 2023-02-05 21:45:13 +0100 | <geekosaur> | is what you have not introducing a border at the top? |
| 2023-02-05 21:45:28 +0100 | <thyriaen> | i have a border all around the window |
| 2023-02-05 21:45:34 +0100 | <thyriaen> | and then a tab on top of that |
| 2023-02-05 21:45:39 +0100 | <geekosaur> | (note you need to mod-shift-space if you change the numbers only, because that doesn't change the type) |
| 2023-02-05 21:45:40 +0100 | <thyriaen> | and then a space to the screen edge |
| 2023-02-05 21:45:59 +0100 | <geekosaur> | oh, hm. not supposed to work that way |
| 2023-02-05 21:46:11 +0100 | <thyriaen> | check out my config |
| 2023-02-05 21:46:24 +0100 | <thyriaen> | https://paste.tomsmeding.com/qL4WlGxC |
| 2023-02-05 21:46:48 +0100 | <thyriaen> | i just don't know how to add an additional spacing between the tabs and the window |
| 2023-02-05 21:50:20 +0100 | <geekosaur> | this looks correct to me. I'm surprised it doesn't work. |
| 2023-02-05 22:02:06 +0100 | <geekosaur> | poking locally |
| 2023-02-05 22:02:50 +0100 | <geekosaur> | interesting. same behavior here |
| 2023-02-05 22:21:53 +0100 | <thyriaen> | geekosaur, oh |
| 2023-02-05 22:21:59 +0100 | <thyriaen> | i thought it is the expected behavior |
| 2023-02-05 22:22:22 +0100 | <geekosaur> | I have something ugly that seems to work |
| 2023-02-05 22:24:20 +0100 | <geekosaur> | https://paste.tomsmeding.com/pQz2yt3d then play with the numbers (the sublayout doesn't know the tab bar is there and will happily overlay it) |
| 2023-02-05 22:24:48 +0100 | <geekosaur> | ignore the "onWorkspace" part, I did this on one of my spare workspaces |
| 2023-02-05 22:25:07 +0100 | <thyriaen> | wait |
| 2023-02-05 22:25:22 +0100 | <thyriaen> | i can define specific layouts on specific workspaces ? |
| 2023-02-05 22:25:25 +0100 | <thyriaen> | that is awesome ! |
| 2023-02-05 22:25:38 +0100 | <thyriaen> | geekosaur, what is tabBar ? |
| 2023-02-05 22:25:39 +0100 | <geekosaur> | https://github.com/geekosaur/xmonad.hs/blob/skkukuk/xmonad.hs |
| 2023-02-05 22:25:51 +0100 | <geekosaur> | it's from XMonad.Layout.TabBarDecoration |
| 2023-02-05 22:27:02 +0100 | <thyriaen> | what does id and top do ? |
| 2023-02-05 22:27:55 +0100 | <thyriaen> | but yes very ugly |
| 2023-02-05 22:28:19 +0100 | <geekosaur> | id` is just so I can keep hlint from whining about how I define my layouts. you can leave it out completely, it does nothing except silence a warning about an unnecessary use of ($) |
| 2023-02-05 22:28:34 +0100 | <geekosaur> | `Top` tells it where to put the tab bar (the other choice is `Bottom`) |
| 2023-02-05 22:30:36 +0100 | <thyriaen> | why don't you use tabbed ? |
| 2023-02-05 22:31:24 +0100 | <thyriaen> | if i use your version |
| 2023-02-05 22:31:27 +0100 | <thyriaen> | it doesn't work at all |
| 2023-02-05 22:33:45 +0100 | <thyriaen> | it basically removes the top gap completely for me |
| 2023-02-05 22:34:44 +0100 | <geekosaur> | you need to adjust the numbers because they ignore the presence of the tab bar. you'll just have to play with it until you get the spacing you want |
| 2023-02-05 22:34:54 +0100 | <thyriaen> | ah okay |
| 2023-02-05 22:34:56 +0100 | <geekosaur> | press mod-shift-space after mod-q |
| 2023-02-05 22:35:19 +0100 | <geekosaur> | when I started out with your numbers the windows actually painted over the tab bar here |
| 2023-02-05 22:36:24 +0100 | <geekosaur> | that's why I bumped the "top" border to 16, which got me https://imgur.com/W47KWNt.png |
| 2023-02-05 22:36:56 +0100 | <geekosaur> | (very narrow gap at the top since most of the space is taken up by the tab bar, but you can see a few stars from the background if you look closely) |
| 2023-02-05 22:37:15 +0100 | <thyriaen> | ah okay |
| 2023-02-05 22:37:35 +0100 | <thyriaen> | so then i should add another gap around if i want it above the tabs aswell |
| 2023-02-05 22:37:52 +0100 | <geekosaur> | yes |
| 2023-02-05 22:39:52 +0100 | <thyriaen> | ok thanks |
| 2023-02-05 22:41:34 +0100 | <geekosaur> | remember that if you change some numbers and mod-q, you have to mod-shift-space to reload the layout because its type didn't change |
| 2023-02-05 22:43:34 +0100 | <thyriaen> | geekosaur, i think i don't have the mod shift space bind anymore - what is its default bind ? |
| 2023-02-05 22:44:23 +0100 | <geekosaur> | `asks (layoutHook . config) >>= setLayout` |
| 2023-02-05 23:22:06 +0100 | horzion | (~horzion@ProtonDB/horzion) |
| 2023-02-05 23:24:20 +0100 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
