Logs: freenode/#xmonad
| 2021-05-04 13:58:51 | → | ml| joins (~ml|@unaffiliated/ml/x-3958674) |
| 2021-05-04 14:06:53 | × | wonko7 quits (~wonko7@62.115.229.50) (Ping timeout: 246 seconds) |
| 2021-05-04 14:09:49 | → | wonko7 joins (~wonko7@62.115.229.50) |
| 2021-05-04 14:10:17 | <oogeek> | 2021-05-02 05:35:39 +0000 <oogeek> I have an idea about a new "good first issue". |
| 2021-05-04 14:10:20 | <oogeek> | 2021-05-02 05:37:06 +0000 <oogeek> That is, in X.L.ResizableTile, define a new message that will set the horizontal ratio of windows to default. For example, I have 2 windows, now horizontally, one takes 1/3, another takes 2/3, by a message, I will reset them to 1/2 |
| 2021-05-04 14:10:25 | <oogeek> | 2021-05-02 05:38:17 +0000 <oogeek> However, the 1/2 (or something else) can be get from the resizableTall constructor. |
| 2021-05-04 14:10:27 | <oogeek> | 2021-05-02 05:38:54 +0000 <oogeek> I find it useful and I have already tried to add it. It works OK. |
| 2021-05-04 14:10:31 | <oogeek> | 2021-05-02 05:39:22 +0000 <oogeek> I think the use-case is that sometimes after ratio changing, you want to reset to default. |
| 2021-05-04 14:10:35 | <oogeek> | Oh sorry |
| 2021-05-04 14:10:52 | <oogeek> | The format is not good. |
| 2021-05-04 14:12:52 | <oogeek> | So basically I have an idea of adding a new message to X.L.ResizableTile and the message will trigger action to reset the ratio of windows to, say, (1/2). Resizable 1 (1/300) (1/2) [] |
| 2021-05-04 14:13:15 | <oogeek> | Solid I am not sure if that can be a "good first issue" |
| 2021-05-04 14:38:30 | × | cfricke quits (~cfricke@unaffiliated/cfricke) (Quit: WeeChat 3.1) |
| 2021-05-04 14:38:39 | × | totte quits (~totte@chakra/totte) (Quit: ZNC - http://znc.in) |
| 2021-05-04 14:44:44 | × | oogeek quits (~szz_@84.17.34.145) (Ping timeout: 268 seconds) |
| 2021-05-04 15:00:45 | × | geekosaur quits (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed) |
| 2021-05-04 15:06:12 | → | geekosaur joins (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 2021-05-04 15:08:10 | → | ADG1089 joins (~aditya@122.163.161.198) |
| 2021-05-04 15:08:47 | → | totte joins (~totte@chakra/totte) |
| 2021-05-04 15:30:11 | × | wonko7 quits (~wonko7@62.115.229.50) (Ping timeout: 240 seconds) |
| 2021-05-04 15:30:44 | → | antoniotrkdz joins (2d8b63d4@gateway/web/cgi-irc/kiwiirc.com/ip.45.139.99.212) |
| 2021-05-04 15:31:07 | <antoniotrkdz> | hi |
| 2021-05-04 15:31:35 | × | notis quits (~notis@185.51.134.229) (Ping timeout: 246 seconds) |
| 2021-05-04 15:33:48 | → | notis joins (~notis@2a02:2149:8a44:5700:3fe0:286c:a70f:ba77) |
| 2021-05-04 15:53:40 | × | ADG1089 quits (~aditya@122.163.161.198) (Remote host closed the connection) |
| 2021-05-04 15:53:56 | × | totte quits (~totte@chakra/totte) (Excess Flood) |
| 2021-05-04 15:55:14 | → | totte joins (~totte@chakra/totte) |
| 2021-05-04 16:07:26 | → | totte_ joins (~totte@chakra/totte) |
| 2021-05-04 16:08:01 | totte | is now known as Guest48484 |
| 2021-05-04 16:08:01 | × | Guest48484 quits (~totte@chakra/totte) (Killed (tepper.freenode.net (Nickname regained by services))) |
| 2021-05-04 16:08:02 | totte_ | is now known as totte |
| 2021-05-04 16:11:51 | → | wonko7 joins (~wonko7@62.115.229.50) |
| 2021-05-04 16:14:18 | → | ADG1089 joins (~aditya@122.163.161.198) |
| 2021-05-04 16:16:02 | <Solid> | mh I wonder, what's the general feel for X.U.Loggers (I've never used it)? If I create something like logTitles, should I give back an `X [String]` and let the user handle formatting however they like? |
| 2021-05-04 16:16:13 | <Solid> | Should I take some `String -> String` formatting functions? |
| 2021-05-04 16:16:32 | <Solid> | Should I use the WindowInfo abstraction somehow? |
| 2021-05-04 16:16:38 | <Solid> | I feel like most of these would break composition |
| 2021-05-04 16:16:52 | → | xsperry joins (~as@unaffiliated/xsperry) |
| 2021-05-04 16:17:13 | <Solid> | But the `Logger = X (Maybe String)` abstraction just doesn't quite fit when you want to operate on multiple things |
| 2021-05-04 16:20:15 | × | thc202 quits (~thc202@unaffiliated/thc202) (Quit: thc202) |
| 2021-05-04 16:21:06 | × | wonko7 quits (~wonko7@62.115.229.50) (Ping timeout: 240 seconds) |
| 2021-05-04 16:24:57 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2021-05-04 16:27:58 | → | thc202 joins (~thc202@unaffiliated/thc202) |
| 2021-05-04 16:32:41 | <Solid> | ?tell oogeek feel free to implement it yourself |
| 2021-05-04 16:33:44 | <Solid> | lambdabot dead? :o |
| 2021-05-04 16:34:12 | <lambdabot> | Consider it noted. |
| 2021-05-04 16:34:22 | <geekosaur> | it was pretty slow for me a few minutes ago --- there it is |
| 2021-05-04 16:34:26 | <Solid> | ah |
| 2021-05-04 16:49:39 | → | wonko7 joins (~wonko7@62.115.229.50) |
| 2021-05-04 16:57:52 | × | wonko7 quits (~wonko7@62.115.229.50) (Ping timeout: 240 seconds) |
| 2021-05-04 17:22:34 | × | notis quits (~notis@2a02:2149:8a44:5700:3fe0:286c:a70f:ba77) (Ping timeout: 276 seconds) |
| 2021-05-04 17:24:10 | → | notis joins (~notis@185.51.134.229) |
| 2021-05-04 17:24:34 | × | thunderrd quits (~thunderrd@183.182.110.252) (Ping timeout: 268 seconds) |
| 2021-05-04 17:26:15 | → | ADG1089__ joins (~aditya@171.76.152.88) |
| 2021-05-04 17:28:10 | × | ADG1089 quits (~aditya@122.163.161.198) (Ping timeout: 265 seconds) |
| 2021-05-04 17:28:48 | × | mohab quits (~mohab@45.243.72.186) (Remote host closed the connection) |
| 2021-05-04 17:29:43 | × | ericsagnes quits (~ericsagne@2405:6580:0:5100:a104:d14:93ae:b6b0) (Ping timeout: 276 seconds) |
| 2021-05-04 17:32:29 | × | ml| quits (~ml|@unaffiliated/ml/x-3958674) (Ping timeout: 268 seconds) |
| 2021-05-04 17:33:33 | → | cfricke joins (~cfricke@unaffiliated/cfricke) |
| 2021-05-04 17:38:30 | → | thunderrd joins (~thunderrd@183.182.114.223) |
| 2021-05-04 17:41:52 | → | ericsagnes joins (~ericsagne@2405:6580:0:5100:1f8e:c408:8077:5927) |
| 2021-05-04 17:57:05 | → | mohab joins (~mohab@45.243.72.186) |
| 2021-05-04 17:59:18 | × | ryjm quits (sid383513@gateway/web/irccloud.com/x-mfvpahefkuhsmhxj) (Ping timeout: 258 seconds) |
| 2021-05-04 18:01:57 | → | ryjm joins (sid383513@gateway/web/irccloud.com/x-hegmsdgmbwucdfbi) |
| 2021-05-04 18:02:44 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Remote host closed the connection) |
| 2021-05-04 18:09:08 | → | wonko7 joins (~wonko7@62.115.229.50) |
| 2021-05-04 18:09:11 | × | mohab quits (~mohab@45.243.72.186) (Read error: Connection reset by peer) |
| 2021-05-04 18:12:07 | → | mohab joins (~mohab@45.243.72.186) |
| 2021-05-04 18:15:39 | × | notis quits (~notis@185.51.134.229) (Read error: Connection reset by peer) |
| 2021-05-04 18:16:35 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2021-05-04 18:22:39 | × | ADG1089__ quits (~aditya@171.76.152.88) (Remote host closed the connection) |
| 2021-05-04 18:29:31 | → | ml| joins (~ml|@unaffiliated/ml/x-3958674) |
| 2021-05-04 18:32:24 | × | mohab quits (~mohab@45.243.72.186) (Ping timeout: 252 seconds) |
| 2021-05-04 18:36:19 | × | cfricke quits (~cfricke@unaffiliated/cfricke) (Quit: WeeChat 3.1) |
| 2021-05-04 20:04:14 | × | kelnoky quits (~shao@ip1f128ba7.dynamic.kabel-deutschland.de) (Quit: WeeChat 3.1) |
| 2021-05-04 20:10:14 | × | thc202 quits (~thc202@unaffiliated/thc202) (Quit: thc202) |
| 2021-05-04 20:10:18 | → | notis joins (~notis@185.51.134.229) |
| 2021-05-04 20:18:14 | × | geekosaur quits (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed) |
| 2021-05-04 20:21:05 | → | geekosaur joins (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 2021-05-04 20:33:55 | <mc47> | Solid tbh I don't think it's used that much, it practically offers no new interesting functionality |
| 2021-05-04 20:35:09 | <mc47> | At least in 0.16, all functionality is either covered by PP or by the status bars themselves, so there was little incentive to use X.U.Loggers |
| 2021-05-04 20:37:37 | <geekosaur> | and most interesting functionality can't reasonably be done there because xmonad only wakes up on X11 events, not e.g. time or various system status changes |
| 2021-05-04 20:37:58 | <mc47> | yes, the battery logger is totally useless for example |
| 2021-05-04 20:38:22 | → | mohab joins (~mohab@45.243.72.186) |
| 2021-05-04 20:38:56 | <mc47> | and there's making the information bound to a particular screen - logTitles would need to get reimplemented for that too :/ |
| 2021-05-04 20:40:25 | <mc47> | I feel this is going to explode... I'm tempted to remove some of the loggers I added (the layout and title ones at least) and experiment with some "ScreenId -> PP -> X PP" modifier |
| 2021-05-04 20:41:56 | <mc47> | basically use state to freeze the PP when the screen is inactive |
| 2021-05-04 20:42:59 | <mc47> | oh. that won't work. we need to change dynamicLogString |
| 2021-05-04 20:43:09 | mc47 | sighs |
| 2021-05-04 20:49:54 | <mc47> | We could add a ppScren :: Maybe (ScreenId) and set the default to Nothing, and then basically decide whether we run dynamicLogString, or just return the last generated string... It will be tricky though to get it working with more than one PP per screen, and there's also the problem of what we show at startup |
| 2021-05-04 21:42:32 | × | geekosaur quits (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed) |
| 2021-05-04 21:42:55 | → | geekosaur joins (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 2021-05-04 22:01:48 | → | ADG1089 joins (~aditya@122.163.193.183) |
| 2021-05-04 22:13:43 | × | seschwar quits (~seschwar@unaffiliated/seschwar) (Quit: :wq) |
| 2021-05-04 22:30:12 | × | mohab quits (~mohab@45.243.72.186) (Read error: Connection reset by peer) |
| 2021-05-04 23:06:41 | × | notis quits (~notis@185.51.134.229) (Ping timeout: 240 seconds) |
| 2021-05-04 23:28:52 | × | antoniotrkdz quits (2d8b63d4@gateway/web/cgi-irc/kiwiirc.com/ip.45.139.99.212) (Ping timeout: 240 seconds) |
| 2021-05-04 23:31:00 | × | entropie quits (~mit@ip5f59973a.dynamic.kabel-deutschland.de) (Quit: "") |
| 2021-05-04 23:33:54 | × | ADG1089 quits (~aditya@122.163.193.183) (Remote host closed the connection) |
| 2021-05-04 23:35:21 | → | entropie joins (~mit@ip5f59973a.dynamic.kabel-deutschland.de) |
All times are in UTC.