| 2022-05-19 00:08:25 +0200 | chomwitt | (~chomwitt@2a02:587:dc15:4f00:b162:3ee9:4b48:2a00) (Ping timeout: 248 seconds) |
| 2022-05-19 00:16:45 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::ba9a) |
| 2022-05-19 01:48:13 +0200 | steve_ | (~steve@ool-182c2b80.dyn.optonline.net) |
| 2022-05-19 02:36:20 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::ba9a) (Ping timeout: 248 seconds) |
| 2022-05-19 02:49:57 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 2022-05-19 02:56:33 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-05-19 02:58:58 +0200 | stellacy | (~user@138.199.43.80) |
| 2022-05-19 03:27:10 +0200 | werneta | (~werneta@137.79.199.110) (Ping timeout: 240 seconds) |
| 2022-05-19 03:37:57 +0200 | benin | (~benin@183.82.31.170) (Ping timeout: 260 seconds) |
| 2022-05-19 04:03:37 +0200 | banc | (banc@gateway/vpn/airvpn/banc) (Ping timeout: 260 seconds) |
| 2022-05-19 04:19:57 +0200 | stellacy | (~user@138.199.43.80) (Read error: Connection reset by peer) |
| 2022-05-19 04:22:03 +0200 | darkstardevx | (~darkstard@50.53.212.60) |
| 2022-05-19 04:23:06 +0200 | darkstardevx | (~darkstard@50.53.212.60) (Remote host closed the connection) |
| 2022-05-19 04:23:31 +0200 | darkstardevx | (~darkstard@50.53.212.60) |
| 2022-05-19 04:24:33 +0200 | stackdroid18 | (14094@user/stackdroid) |
| 2022-05-19 04:24:59 +0200 | banc | (banc@gateway/vpn/airvpn/banc) |
| 2022-05-19 04:33:06 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-05-19 05:48:31 +0200 | benin | (~benin@183.82.31.141) |
| 2022-05-19 06:03:01 +0200 | stackdroid18 | (14094@user/stackdroid) (Quit: hasta la vista... tchau!) |
| 2022-05-19 06:03:59 +0200 | rieper | (~riepernet@sxbeta1.geo.uni-leipzig.de) (Ping timeout: 240 seconds) |
| 2022-05-19 06:05:24 +0200 | rieper | (~riepernet@sxbeta1.geo.uni-leipzig.de) |
| 2022-05-19 06:15:50 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Ping timeout: 240 seconds) |
| 2022-05-19 06:21:04 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2022-05-19 06:25:36 +0200 | steve_ | (~steve@ool-182c2b80.dyn.optonline.net) (Ping timeout: 272 seconds) |
| 2022-05-19 06:40:42 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 276 seconds) |
| 2022-05-19 07:21:41 +0200 | chomwitt | (~chomwitt@2a02:587:dc15:4f00:5705:7cac:d13a:f9f9) |
| 2022-05-19 08:07:19 +0200 | benin | (~benin@183.82.31.141) (Quit: The Lounge - https://thelounge.chat) |
| 2022-05-19 08:46:10 +0200 | benin | (~benin@183.82.31.141) |
| 2022-05-19 09:10:10 +0200 | x88x88x | (~x88x88x@149.28.53.172) (Remote host closed the connection) |
| 2022-05-19 09:15:03 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2022-05-19 09:37:57 +0200 | x88x88x | (~x88x88x@2001:19f0:5:39a8:5400:3ff:feb6:73cb) |
| 2022-05-19 09:42:06 +0200 | chomwitt | (~chomwitt@2a02:587:dc15:4f00:5705:7cac:d13a:f9f9) (Quit: Leaving) |
| 2022-05-19 10:11:42 +0200 | chomwitt | (~chomwitt@2a02:587:dc15:4f00:5705:7cac:d13a:f9f9) |
| 2022-05-19 10:14:51 +0200 | abhixec | (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Ping timeout: 244 seconds) |
| 2022-05-19 10:18:57 +0200 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2022-05-19 10:21:55 +0200 | <lyiriyah[m]> | mc47: Ah, sorry. |
| 2022-05-19 10:25:41 +0200 | mc47 | (~mc47@xmonad/TheMC47) |
| 2022-05-19 10:35:06 +0200 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.5) |
| 2022-05-19 10:40:54 +0200 | benin | (~benin@183.82.31.141) (Ping timeout: 246 seconds) |
| 2022-05-19 10:42:57 +0200 | benin | (~benin@183.82.31.141) |
| 2022-05-19 10:52:25 +0200 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2022-05-19 11:00:06 +0200 | evanjs[m] | (~evanjsxma@2001:470:69fc:105::1:fc72) (Quit: You have been kicked for being idle) |
| 2022-05-19 11:05:30 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2022-05-19 11:34:07 +0200 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.5) |
| 2022-05-19 11:46:05 +0200 | jlhupz | (~jlhupz@2001:4451:a6f:a400:c3f4:8414:a6c1:98aa) |
| 2022-05-19 11:47:30 +0200 | jlhupz | (~jlhupz@2001:4451:a6f:a400:c3f4:8414:a6c1:98aa) (Client Quit) |
| 2022-05-19 14:32:55 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-05-19 15:18:06 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 246 seconds) |
| 2022-05-19 15:46:39 +0200 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2022-05-19 16:12:21 +0200 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 246 seconds) |
| 2022-05-19 16:38:22 +0200 | lazycat | (~lazycat@user/lazycat) (Quit: ZNC - https://znc.in) |
| 2022-05-19 16:38:41 +0200 | lazycat | (~lazycat@user/lazycat) |
| 2022-05-19 17:14:06 +0200 | scardinal | (~supreme@customer-212-237-101-39.ip4.gigabit.dk) (Quit: leaving) |
| 2022-05-19 17:19:41 +0200 | scardinal | (~supreme@customer-212-237-101-39.ip4.gigabit.dk) |
| 2022-05-19 17:21:38 +0200 | aliosablack | (~chomwitt@ppp-2-85-47-58.home.otenet.gr) |
| 2022-05-19 17:23:00 +0200 | chomwitt | (~chomwitt@2a02:587:dc15:4f00:5705:7cac:d13a:f9f9) (Ping timeout: 272 seconds) |
| 2022-05-19 17:28:23 +0200 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.5) |
| 2022-05-19 17:35:37 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-05-19 17:49:02 +0200 | abhixec | (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) |
| 2022-05-19 18:18:15 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-05-19 18:52:03 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::ba9a) |
| 2022-05-19 19:28:54 +0200 | M-elo-[m] | ChaoticMist[m] |
| 2022-05-19 19:31:04 +0200 | ChaoticMist[m] | ChaoticMistT[m] |
| 2022-05-19 19:39:06 +0200 | benin | (~benin@183.82.31.141) (Quit: The Lounge - https://thelounge.chat) |
| 2022-05-19 21:11:44 +0200 | <jao> | in my xmonad.hs, how would i get the title of the focused window? i don't want a predicate, but the actual string to further process it... |
| 2022-05-19 21:13:22 +0200 | <evilop> | jao: X.M..WindowProperties is one way |
| 2022-05-19 21:14:31 +0200 | <geekosaur> | maybeTitle <- gets (W.peek . windowset) |
| 2022-05-19 21:14:56 +0200 | <geekosaur> | wait, that's just the window, sorry. you then apply WindowProperties to that |
| 2022-05-19 21:15:49 +0200 | <jao> | aha! and where does W.peek live? |
| 2022-05-19 21:16:04 +0200 | <geekosaur> | import qualified XMonad.StackSet as W |
| 2022-05-19 21:16:14 +0200 | <jao> | excellent, many thanks |
| 2022-05-19 21:16:14 +0200 | <geekosaur> | (you'll see this a fair bit) |
| 2022-05-19 21:17:06 +0200 | <jao> | (yeah, i even have that exact import in my config) |
| 2022-05-19 21:39:52 +0200 | <jao> | okay, not my day: would you please bear with me and spell out "apply WindowProperties" to that in haskell? i must be overlooking something trivial, sorry |
| 2022-05-19 21:41:14 +0200 | <geekosaur> | hm, actually I would not use that after looking at it |
| 2022-05-19 21:41:45 +0200 | <geekosaur> | maybeTitle <- fmap getStringProperty $ gets (W.peek . windowset) |
| 2022-05-19 21:42:05 +0200 | <geekosaur> | will be Nothing if the workspace is empty, or Just the title as a String |
| 2022-05-19 21:43:56 +0200 | <geekosaur> | wait, getStringProperty ois too low level |
| 2022-05-19 21:44:14 +0200 | <jao> | i was missing getStringProperty, which seems to require the display too |
| 2022-05-19 21:59:05 +0200 | <geekosaur> | asks display |
| 2022-05-19 21:59:19 +0200 | <geekosaur> | meanwhile I tried to be too clever and got myself lost :) |
| 2022-05-19 21:59:25 +0200 | <jao> | :) |
| 2022-05-19 22:02:36 +0200 | <jao> | getStringProperty also needs the name of the prop, i see |
| 2022-05-19 22:03:54 +0200 | <geekosaur> | do { d <- asks display; w <- gets (W.peek . windowset); maybe (return Nothing) (\w' -> getStringProperty d w' "WM_NAME") w } |
| 2022-05-19 22:03:54 +0200 | <geekosaur> | :: X (Maybe String) |
| 2022-05-19 22:04:27 +0200 | <geekosaur> | @pl . undo do { d <- asks display; w <- gets (W.peek . windowset); maybe (return Nothing) (\w' -> getStringProperty d w' "WM_NAME") w } |
| 2022-05-19 22:04:27 +0200 | <lambdabot> | (line 1, column 1): |
| 2022-05-19 22:04:27 +0200 | <lambdabot> | unexpected "." |
| 2022-05-19 22:04:27 +0200 | <lambdabot> | expecting white space, "()", natural, identifier, lambda abstraction or expression |
| 2022-05-19 22:05:44 +0200 | <geekosaur> | right, duh |
| 2022-05-19 22:05:52 +0200 | <geekosaur> | @. pl undo do { d <- asks display; w <- gets (W.peek . windowset); maybe (return Nothing) (\w' -> getStringProperty d w' "WM_NAME") w } |
| 2022-05-19 22:05:52 +0200 | <lambdabot> | (gets (W.peek . windowset) >>=) . maybe (return Nothing) . flip flip "WM_NAME" . getStringProperty =<< asks display |
| 2022-05-19 22:05:57 +0200 | <geekosaur> | ugh |
| 2022-05-19 22:10:22 +0200 | <jao> | yeah |
| 2022-05-19 22:11:09 +0200 | <liskin> | There must be an easier way using runQuery... |
| 2022-05-19 22:12:03 +0200 | <geekosaur> | that can still be improved a bit |
| 2022-05-19 22:12:42 +0200 | <geekosaur> | do { d <- asks display; gets (W.peek . windowset) >>= maybe (return Nothing) (\w' -> getStringProperty d w' "WM_NAME") } -- not much |
| 2022-05-19 22:12:46 +0200 | <liskin> | Hm, maybe not |
| 2022-05-19 22:13:02 +0200 | <geekosaur> | no, runQuery always assumes a window |
| 2022-05-19 22:13:12 +0200 | <liskin> | I should submit this: https://github.com/liskin/dotfiles/commit/1a1c41872a398682456a7a91f14dc5f9ca744684#diff-b4a9e6e4b8… to ManageHelpers |
| 2022-05-19 22:13:37 +0200 | <liskin> | Oh but yeah, you're right |
| 2022-05-19 22:14:09 +0200 | <liskin> | Running a Query on the current window needs a gets and peek too, so isn't much shorter either |
| 2022-05-19 22:17:32 +0200 | <jao> | it's a nice to have, though, many thanks! |
| 2022-05-19 22:46:05 +0200 | abhixec | (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Ping timeout: 244 seconds) |
| 2022-05-19 23:14:26 +0200 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2022-05-19 23:49:01 +0200 | aliosablack | (~chomwitt@ppp-2-85-47-58.home.otenet.gr) (Quit: Leaving) |
| 2022-05-19 23:56:04 +0200 | stackdroid18 | (14094@user/stackdroid) |