Logs: freenode/#xmonad
| 2020-12-28 14:32:18 | <Solid> | exposing makeStatusBar (which is currently not exported) and simply adding an "what do you want your toggle struts button to do" argument |
| 2020-12-28 14:32:28 | <mc47> | Exactly :-) |
| 2020-12-28 14:32:56 | <Solid> | I'd put that directly into makeStatusBar; it's not exported so we don't have to worry about backwards compatibility |
| 2020-12-28 14:33:37 | <mc47> | Ah right |
| 2020-12-28 14:34:05 | <mc47> | Do you think we should also add other versions of statusBar and co. ? |
| 2020-12-28 14:35:03 | <Solid> | I think that would clutter up things too much |
| 2020-12-28 14:35:25 | <Solid> | Maybe add a little note in the respective haddocks along the lines of "if you want more flexibility, use makeStatusBar" |
| 2020-12-28 14:35:36 | <Liskni_si> | at some point adding more parameters becomes confusing and it's better to just add a record type with some defaults and perhaps shortcut constructors |
| 2020-12-28 14:36:03 | <Liskni_si> | I feel like makeStatusBar is already more complex than just unrolling it manually into xmonad.hs |
| 2020-12-28 14:36:27 | <mc47> | Liskni_si that does sound better |
| 2020-12-28 14:37:14 | <Liskni_si> | (some people might say that everything can and should just be a function, but without good support for named parameters with defaults, records are often better in terms of user/dev experience) |
| 2020-12-28 14:39:01 | <mc47> | Using records does sound compelling, because it feels like the number of functions would "explode" |
| 2020-12-28 14:39:29 | <Solid> | there are only so many fields of XConfig that makeStatusBar sets ;) |
| 2020-12-28 14:41:27 | <Solid> | but perhaps you're right, this way users didn't need to guess which field of statusBar is which |
| 2020-12-28 14:42:01 | <Solid> | and the "fill out this record please" mentality is already there in much of xmonad |
| 2020-12-28 14:44:04 | <mc47> | I'll give it a go and see how it looks like |
| 2020-12-28 14:44:41 | × | geekosaur quits (ac3a5347@172.58.83.71) (Remote host closed the connection) |
| 2020-12-28 14:58:59 | → | themc47 joins (~yecinem@x59cc879c.dyn.telefonica.de) |
| 2020-12-28 14:59:31 | × | mc47 quits (~yecinem@x59cc879c.dyn.telefonica.de) (Ping timeout: 256 seconds) |
| 2020-12-28 15:14:26 | → | drl joins (~l@2600:1700:8360:3870::725) |
| 2020-12-28 15:29:25 | × | drl quits (~l@2600:1700:8360:3870::725) (Quit: Leaving) |
| 2020-12-28 15:31:35 | → | ddellacosta joins (dd@gateway/vpn/mullvad/ddellacosta) |
| 2020-12-28 15:53:49 | → | ADG1089__ joins (~aditya@223.235.213.117) |
| 2020-12-28 15:55:04 | × | ddellacosta quits (dd@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 246 seconds) |
| 2020-12-28 15:57:52 | <Solid> | ?tell geekosaur: Regarding X.H.FadeWindows ( https://github.com/xmonad/xmonad-contrib/pull/427 ): I changed the default opacity of a window to 1 instead of 0.93 and updated the documentation accordingly; since it's your module you obviously get to have the last word on this, but if you don't object I'd like to merge this at some point |
| 2020-12-28 15:57:52 | <lambdabot> | Consider it noted. |
| 2020-12-28 15:58:04 | <Solid> | whoops, I probably messed up with the : there |
| 2020-12-28 16:20:36 | × | themc47 quits (~yecinem@x59cc879c.dyn.telefonica.de) (Ping timeout: 256 seconds) |
| 2020-12-28 16:24:18 | → | mc47 joins (~yecinem@89.246.239.190) |
| 2020-12-28 16:36:38 | × | ADG1089__ quits (~aditya@223.235.213.117) (Ping timeout: 264 seconds) |
| 2020-12-28 16:50:17 | → | geekosaur joins (42d52137@66.213.33.55) |
| 2020-12-28 16:55:11 | → | ADG1089__ joins (~aditya@223.235.213.117) |
| 2020-12-28 17:00:46 | × | ADG1089__ quits (~aditya@223.235.213.117) (Remote host closed the connection) |
| 2020-12-28 17:25:27 | × | mc47 quits (~yecinem@89.246.239.190) (Remote host closed the connection) |
| 2020-12-28 17:56:51 | → | stalactite[m] joins (stalactite@gateway/shell/matrix.org/x-cboftgeftibsawca) |
| 2020-12-28 18:13:49 | → | mc47 joins (~yecinem@89.246.239.190) |
| 2020-12-28 18:16:20 | × | geekosaur quits (42d52137@66.213.33.55) (Ping timeout: 245 seconds) |
| 2020-12-28 18:38:21 | × | hexo quits (~hexo@gateway/tor-sasl/hexo) (Write error: Broken pipe) |
| 2020-12-28 18:38:56 | → | hexo joins (~hexo@gateway/tor-sasl/hexo) |
| 2020-12-28 18:41:44 | → | geekosaur joins (42d52137@66.213.33.55) |
| 2020-12-28 19:03:29 | → | berberman_ joins (~berberman@unaffiliated/berberman) |
| 2020-12-28 19:04:42 | × | berberman quits (~berberman@unaffiliated/berberman) (Ping timeout: 260 seconds) |
| 2020-12-28 19:05:06 | × | berberman_ quits (~berberman@unaffiliated/berberman) (Max SendQ exceeded) |
| 2020-12-28 19:05:34 | → | berberman joins (~berberman@unaffiliated/berberman) |
| 2020-12-28 19:09:22 | → | ddellacosta joins (dd@gateway/vpn/mullvad/ddellacosta) |
| 2020-12-28 19:34:55 | × | schweby quits (~quassel@lxqflm.schwe.by) (Quit: Das ist möglich, also tun wir es. Später.) |
| 2020-12-28 20:09:03 | → | ADG1089__ joins (~aditya@223.235.213.117) |
| 2020-12-28 20:10:48 | → | schweby joins (~quassel@lxqflm.schwe.by) |
| 2020-12-28 20:18:10 | × | al3x27 quits (~plovs@85.254.74.40) (Quit: WeeChat 2.9) |
| 2020-12-28 21:03:24 | × | notis quits (~notis@85.203.44.37) (Ping timeout: 260 seconds) |
| 2020-12-28 21:04:56 | → | notis joins (~notis@212.54.207.241.dsl.dyn.forthnet.gr) |
| 2020-12-28 21:43:09 | × | geekosaur quits (42d52137@66.213.33.55) (Remote host closed the connection) |
| 2020-12-28 21:47:45 | × | ADG1089__ quits (~aditya@223.235.213.117) (Remote host closed the connection) |
| 2020-12-28 22:24:11 | × | mc47 quits (~yecinem@89.246.239.190) (Remote host closed the connection) |
| 2020-12-28 23:26:29 | × | ericsagnes quits (~ericsagne@2405:6580:0:5100:f3bd:76da:a01c:8f3f) (Ping timeout: 268 seconds) |
| 2020-12-28 23:30:56 | → | ericsagnes joins (~ericsagne@2405:6580:0:5100:bed2:c8ad:c296:966c) |
| 2020-12-28 23:33:42 | × | coldpress quits (~coldpress@128.9.105.34.bc.googleusercontent.com) (Ping timeout: 256 seconds) |
| 2020-12-28 23:39:26 | × | ericsagnes quits (~ericsagne@2405:6580:0:5100:bed2:c8ad:c296:966c) (Ping timeout: 268 seconds) |
| 2020-12-28 23:40:53 | → | tavixvi joins (3fd08b2f@63.208.139.47) |
| 2020-12-28 23:42:12 | × | notis quits (~notis@212.54.207.241.dsl.dyn.forthnet.gr) (Ping timeout: 256 seconds) |
| 2020-12-28 23:42:36 | → | notis joins (~notis@85.203.44.37) |
| 2020-12-28 23:56:48 | → | Natch joins (~natch@85.226.113.180) |
| 2020-12-29 00:40:04 | × | notis quits (~notis@85.203.44.37) (Ping timeout: 246 seconds) |
| 2020-12-29 01:24:31 | → | growpotkin joins (~growpotki@130-45-30-154.dyn.grandenetworks.net) |
| 2020-12-29 03:01:00 | → | ssmith joins (~ssmith@64.184.2.236) |
| 2020-12-29 03:02:38 | × | ssmith quits (~ssmith@64.184.2.236) (Client Quit) |
| 2020-12-29 03:02:58 | → | ssmith joins (~ssmith@64.184.2.236) |
| 2020-12-29 03:03:04 | × | ssmith quits (~ssmith@64.184.2.236) (Client Quit) |
| 2020-12-29 03:06:43 | × | theDon quits (~td@94.134.91.184) (Ping timeout: 246 seconds) |
| 2020-12-29 03:08:39 | → | theDon joins (~td@muedsl-82-207-238-118.citykom.de) |
| 2020-12-29 03:15:05 | × | tavixvi quits (3fd08b2f@63.208.139.47) (Ping timeout: 245 seconds) |
| 2020-12-29 04:06:32 | → | coldpress joins (~coldpress@128.9.105.34.bc.googleusercontent.com) |
| 2020-12-29 04:17:56 | × | rekahsoft quits (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) (Ping timeout: 240 seconds) |
| 2020-12-29 04:30:43 | × | SpiderPig quits (~matt@047-132-233-190.res.spectrum.com) (Ping timeout: 246 seconds) |
| 2020-12-29 04:31:06 | → | SpiderPig joins (~matt@047-132-233-190.res.spectrum.com) |
| 2020-12-29 04:36:44 | × | thunderrd quits (~thunderrd@183.182.111.131) (Remote host closed the connection) |
| 2020-12-29 04:43:31 | → | thunderrd joins (~thunderrd@183.182.111.131) |
| 2020-12-29 05:02:32 | → | ADG1089__ joins (~aditya@223.235.213.117) |
| 2020-12-29 05:19:34 | × | thunderrd quits (~thunderrd@183.182.111.131) (Remote host closed the connection) |
| 2020-12-29 05:36:28 | → | thunderrd joins (~thunderrd@183.182.111.131) |
| 2020-12-29 05:43:04 | × | thunderrd quits (~thunderrd@183.182.111.131) (Remote host closed the connection) |
| 2020-12-29 05:44:54 | → | thunderrd joins (~thunderrd@183.182.111.131) |
| 2020-12-29 05:51:47 | × | thunderrd quits (~thunderrd@183.182.111.131) (Remote host closed the connection) |
| 2020-12-29 05:53:25 | × | ADG1089__ quits (~aditya@223.235.213.117) (Quit: Konversation terminated!) |
| 2020-12-29 05:53:41 | → | ADG1089__ joins (~aditya@223.235.213.117) |
| 2020-12-29 06:05:56 | × | ADG1089__ quits (~aditya@223.235.213.117) (Ping timeout: 240 seconds) |
| 2020-12-29 06:12:38 | × | ddellacosta quits (dd@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 256 seconds) |
| 2020-12-29 06:20:53 | → | nithal joins (~nithal@190.142.137.158) |
| 2020-12-29 06:22:08 | × | nithal quits (~nithal@190.142.137.158) (Client Quit) |
| 2020-12-29 06:29:47 | → | palo1 joins (~weechat@c-base/crew/palo) |
| 2020-12-29 06:32:36 | × | palo quits (~weechat@c-base/crew/palo) (Ping timeout: 240 seconds) |
| 2020-12-29 06:32:36 | palo1 | is now known as palo |
| 2020-12-29 06:35:46 | → | ADG1089__ joins (~aditya@223.235.213.117) |
| 2020-12-29 06:53:50 | × | growpotkin quits (~growpotki@130-45-30-154.dyn.grandenetworks.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2020-12-29 07:16:05 | × | ADG1089__ quits (~aditya@223.235.213.117) (Remote host closed the connection) |
| 2020-12-29 07:16:34 | → | ADG1089__ joins (~aditya@223.235.213.117) |
| 2020-12-29 07:27:18 | × | ADG1089__ quits (~aditya@223.235.213.117) (Remote host closed the connection) |
| 2020-12-29 07:29:51 | → | ADG1089__ joins (~aditya@223.235.213.117) |
| 2020-12-29 07:32:51 | × | ADG1089__ quits (~aditya@223.235.213.117) (Remote host closed the connection) |
| 2020-12-29 07:49:13 | → | ADG1089__ joins (~aditya@171.76.164.4) |
All times are in UTC.