Logs: liberachat/#xmonad
| 2021-10-13 14:28:57 | × | humky quits (~humky@user/humky) (Remote host closed the connection) |
| 2021-10-13 14:32:53 | × | benin quits (~benin@183.82.29.30) (Ping timeout: 246 seconds) |
| 2021-10-13 14:35:26 | → | benin joins (~benin@183.82.29.30) |
| 2021-10-13 14:46:55 | × | benin quits (~benin@183.82.29.30) (Ping timeout: 252 seconds) |
| 2021-10-13 14:47:48 | → | rekahsoft joins (~rekahsoft@52.129.35.150) |
| 2021-10-13 14:49:58 | × | rekahsoft quits (~rekahsoft@52.129.35.150) (Remote host closed the connection) |
| 2021-10-13 14:50:35 | → | rekahsoft joins (~rekahsoft@52.129.35.150) |
| 2021-10-13 15:01:52 | <Solid> | liskin: https://github.com/slotThe/xmonad-contrib/commit/929a6a3f6ff177d9ecc6d948dd771b67eea0d257#commitcomment-57939927 |
| 2021-10-13 15:02:55 | <Solid> | I can't reproduce it so it might be nothing (especially considering this is the behaviour that I'm getting _without_ the patch) |
| 2021-10-13 15:03:33 | <liskin> | Solid: doesn't ring any bells here either |
| 2021-10-13 15:05:52 | → | benin joins (~benin@183.82.29.30) |
| 2021-10-13 15:20:56 | × | rekahsoft quits (~rekahsoft@52.129.35.150) (Remote host closed the connection) |
| 2021-10-13 15:21:40 | → | rekahsoft joins (~rekahsoft@52.129.35.150) |
| 2021-10-13 15:28:16 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2021-10-13 15:30:51 | → | seschwar joins (~seschwar@user/seschwar) |
| 2021-10-13 15:33:26 | × | dschrempf quits (~dominik@070-207.dynamic.dsl.fonira.net) (Ping timeout: 245 seconds) |
| 2021-10-13 16:29:51 | × | rekahsoft quits (~rekahsoft@52.129.35.150) (Remote host closed the connection) |
| 2021-10-13 16:30:27 | → | rekahsoft joins (~rekahsoft@52.129.35.150) |
| 2021-10-13 16:37:25 | × | cfricke quits (~cfricke@user/cfricke) (Ping timeout: 260 seconds) |
| 2021-10-13 16:39:00 | tomsmeding_ | is now known as tomsmeding |
| 2021-10-13 16:50:29 | → | cfricke joins (~cfricke@user/cfricke) |
| 2021-10-13 16:53:45 | × | benin quits (~benin@183.82.29.30) (Read error: Connection reset by peer) |
| 2021-10-13 17:14:42 | <Solid> | (ah, it did turn out to be a mistake on their part) |
| 2021-10-13 17:38:47 | → | alternateved joins (~user@staticline-31-183-147-179.toya.net.pl) |
| 2021-10-13 17:42:20 | × | Natch quits (~natch@c-e070e255.014-297-73746f25.bbcust.telenor.se) (Remote host closed the connection) |
| 2021-10-13 18:07:37 | ← | alternateved parts (~user@staticline-31-183-147-179.toya.net.pl) (ERC 5.4 (IRC client for GNU Emacs 29.0.50)) |
| 2021-10-13 18:08:51 | × | cfricke quits (~cfricke@user/cfricke) (Ping timeout: 245 seconds) |
| 2021-10-13 19:01:08 | → | humky joins (~humky@user/humky) |
| 2021-10-13 19:19:22 | × | qbt quits (~qbt@user/edun) (Quit: Leaving.) |
| 2021-10-13 19:20:08 | → | dschrempf joins (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2021-10-13 19:27:01 | × | wonko quits (~wjc@62.115.229.50) (Ping timeout: 252 seconds) |
| 2021-10-13 19:45:51 | × | dschrempf quits (~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.3) |
| 2021-10-13 19:53:15 | → | alternateved joins (~user@staticline-31-183-147-179.toya.net.pl) |
| 2021-10-13 19:56:15 | → | cfricke joins (~cfricke@user/cfricke) |
| 2021-10-13 21:26:03 | <Jazzah> | hmm anyone got a hint to how to set spacing depending on screen height or xrandr primary screen? |
| 2021-10-13 21:59:59 | × | humky quits (~humky@user/humky) (Quit: Leaving) |
| 2021-10-13 22:17:57 | × | seschwar quits (~seschwar@user/seschwar) (Quit: :wq) |
| 2021-10-13 22:34:27 | × | cfricke quits (~cfricke@user/cfricke) (Quit: WeeChat 3.3) |
| 2021-10-13 22:43:01 | → | humky joins (~humky@user/humky) |
| 2021-10-13 22:46:09 | <jakefromstatefar> | I haven't done this, but my guess is: take a layout that gets access to the available screen space, then do the math from there. |
| 2021-10-13 22:46:59 | <geekosaur> | all layouts get that in the form of a rectangle. problem is Spacing and friends take simple values, not calculated-at-runtime ones |
| 2021-10-13 22:48:13 | <geekosaur> | probably easiest to run xrandr from main before invoking the xmonad combinator, and parsing the output |
| 2021-10-13 22:48:34 | <geekosaur> | then computing the spacing you want and passing it in to the layout |
| 2021-10-13 22:48:42 | <geekosaur> | annoying but doable |
| 2021-10-13 22:49:03 | <jakefromstatefar> | Would that work upon an xrandr update? Or would xmonad need to run its restart mechanism? |
| 2021-10-13 22:49:57 | <geekosaur> | you would need to restart anyway, or design a new spacing layout that can be dynamic |
| 2021-10-13 22:51:18 | <jakefromstatefar> | How does smartBorders update spacing then? Still only preconfigured values? |
| 2021-10-13 22:51:27 | <geekosaur> | suppose you could use https://hackage.haskell.org/package/xmonad-contrib-0.16/docs/XMonad-Layout-PerScreen.html and duplicate everything below it |
| 2021-10-13 22:52:02 | <Jazzah> | theres a ifWider, which is close, but i sadly the two screens i am comparing have the same width but different height |
| 2021-10-13 22:52:02 | <geekosaur> | yes, smartBorders has only two border widths: zero and the one specified in XConfig (which is read-only) |
| 2021-10-13 22:52:42 | <jakefromstatefar> | It also touches spacing... |
| 2021-10-13 22:53:11 | <geekosaur> | you could also modify a copy of ifWider to make ifTaller |
| 2021-10-13 22:53:17 | <geekosaur> | just switch y for x |
| 2021-10-13 22:53:21 | <Jazzah> | guess i will try after some sleep, might think better then |
| 2021-10-13 22:54:03 | <jakefromstatefar> | geekosaur: Would a simple `flip` and a basic wrapper do the job? |
| 2021-10-13 22:54:27 | <geekosaur> | uh. flip of what? |
| 2021-10-13 22:57:14 | <geekosaur> | actually I misspoke earlier, it'd be h for w |
| 2021-10-13 22:58:02 | <geekosaur> | since the layout receives a screen rectangle (actual, not RationalRect) and you don't particularly care about the origin, just the height |
| 2021-10-13 23:04:47 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2021-10-13 23:06:39 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 2021-10-13 23:28:52 | ← | alternateved parts (~user@staticline-31-183-147-179.toya.net.pl) (ERC 5.4 (IRC client for GNU Emacs 29.0.50)) |
| 2021-10-13 23:47:21 | × | humky quits (~humky@user/humky) (Quit: Leaving) |
| 2021-10-13 23:51:25 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2021-10-14 01:12:51 | × | scardina1 quits (~supreme@customer-212-237-101-39.ip4.gigabit.dk) (Ping timeout: 250 seconds) |
| 2021-10-14 01:29:49 | → | scardinal joins (~supreme@customer-212-237-101-39.ip4.gigabit.dk) |
| 2021-10-14 02:03:59 | × | banc- quits (banc@gateway/vpn/airvpn/banc) (Ping timeout: 250 seconds) |
| 2021-10-14 02:24:03 | → | banc joins (banc@gateway/vpn/airvpn/banc) |
| 2021-10-14 02:44:23 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2021-10-14 02:49:14 | × | td_ quits (~td@94.134.91.240) (Ping timeout: 265 seconds) |
| 2021-10-14 02:50:55 | → | td_ joins (~td@94.134.91.160) |
| 2021-10-14 02:59:52 | × | rekahsoft quits (~rekahsoft@52.129.35.150) (Ping timeout: 265 seconds) |
| 2021-10-14 03:05:33 | Hash | is now known as LordOfThePings |
| 2021-10-14 03:38:12 | → | qbt joins (~qbt@user/edun) |
| 2021-10-14 04:15:56 | × | qbt quits (~qbt@user/edun) (Ping timeout: 245 seconds) |
| 2021-10-14 04:16:54 | → | qbt joins (~qbt@user/edun) |
| 2021-10-14 04:42:24 | LordOfThePings | is now known as EnchanterTim |
| 2021-10-14 05:33:51 | × | catman quits (~catman@user/catman) (Ping timeout: 245 seconds) |
| 2021-10-14 05:36:16 | × | qbt quits (~qbt@user/edun) (Ping timeout: 252 seconds) |
| 2021-10-14 05:42:00 | × | scardinal quits (~supreme@customer-212-237-101-39.ip4.gigabit.dk) (Quit: leaving) |
| 2021-10-14 05:50:50 | → | qbt joins (~qbt@user/edun) |
| 2021-10-14 05:59:07 | → | scardinal joins (~supreme@customer-212-237-101-39.ip4.gigabit.dk) |
| 2021-10-14 06:01:28 | → | catman joins (~catman@user/catman) |
| 2021-10-14 06:03:56 | ← | qbt parts (~qbt@user/edun) () |
| 2021-10-14 06:27:58 | → | dschrempf joins (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2021-10-14 07:11:18 | → | qbt joins (~qbt@user/edun) |
| 2021-10-14 07:23:07 | <Jazzah> | indeed, making an ifTaller seems like the way to go. gotta try to dig enough haskell to do that |
| 2021-10-14 07:40:01 | → | cfricke joins (~cfricke@user/cfricke) |
| 2021-10-14 07:48:33 | <liskin> | There's an open PR for a generic conditional layout somewhere in contrib. Unfortunately a bit lacking in docs at this point |
| 2021-10-14 07:49:16 | <liskin> | Actually not just a conditional layout, a conditional layout modifier, too, which is much better for this usecase |
| 2021-10-14 08:11:36 | <Solid> | (probably not going to make it into the release, but feel free to apply the patch) |
| 2021-10-14 08:16:55 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Read error: Connection reset by peer) |
| 2021-10-14 08:17:23 | <Solid> | liskin: I remember you saying that you had some ideas for #605, right? This is something that I think we should definitely include in 0.17 |
| 2021-10-14 08:17:36 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 2021-10-14 08:17:41 | <Solid> | (if you don't have the time it's fine; imo it's good enough to merge in its current state) |
| 2021-10-14 08:33:51 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 265 seconds) |
| 2021-10-14 08:46:47 | <liskin> | Solid: yes I have some code that needs like an hour or two of work |
| 2021-10-14 08:47:28 | <liskin> | Agree that we should aim to include this in the release |
| 2021-10-14 08:47:43 | <liskin> | Can you ping me tomorrow pls? |
| 2021-10-14 08:48:31 | <Solid> | sure |
| 2021-10-14 09:25:25 | → | trillp joins (~trillp@69.233.98.238) |
All times are in UTC.