Logs: freenode/#xmonad
| 2021-03-12 17:31:36 | × | cfricke quits (~cfricke@unaffiliated/cfricke) (Quit: WeeChat 3.0.1) |
| 2021-03-12 17:36:19 | <heck-to-the-gnom> | Does anyone know why `W.Stack` isn't equivalent to `flip W.Stack`? -- not programmatically, I mean the logical implementation: `Stack f u d` instead of the more logical (imo) `Stack u f d`? I would also say why is u not reversed, but I think that's due to performance benefits of not reversing it. e.g `a : b` is better than `b <> [a]` performance-wise. |
| 2021-03-12 17:41:38 | <Solid> | I'm not sure what you mean |
| 2021-03-12 17:41:53 | <Solid> | Of course `Stack l f r` is isomorphic to `Stack f l r` |
| 2021-03-12 17:43:34 | <Solid> | I guess the thinking is "there's some stuff to the left of the focus, then the focus, and then stuff to the right" |
| 2021-03-12 17:44:40 | <geekosaur> | I think it's modeled after the original zipper package |
| 2021-03-12 17:46:43 | <heck-to-the-gnom> | Solid: It's implemented as focus, left, right, instead of what I find more logical: left, focus, right - which I find more reasonable, and remap when I use `W.Stack` |
| 2021-03-12 17:46:43 | <Solid> | mh actually Huet's paper also says "Node of tree list * path * tree list;;" |
| 2021-03-12 17:47:01 | <Solid> | I'm not sure why the focus was put as the first field then |
| 2021-03-12 18:24:42 | × | geekosaur quits (82650c7a@130.101.12.122) (Ping timeout: 240 seconds) |
| 2021-03-12 18:31:08 | × | sam_d quits (~sam@unaffiliated/sam-d/x-1905598) (Remote host closed the connection) |
| 2021-03-12 18:31:32 | → | ADG1089__ joins (~aditya@223.226.229.230) |
| 2021-03-12 18:34:07 | → | geekosaur joins (82650c7a@130.101.12.122) |
| 2021-03-12 18:44:44 | → | sam_d joins (~sam@unaffiliated/sam-d/x-1905598) |
| 2021-03-12 19:23:52 | × | azg256 quits (~azg256@78-56-98-5.static.zebra.lt) (Quit: leaving) |
| 2021-03-12 19:33:42 | × | geekosaur quits (82650c7a@130.101.12.122) (Ping timeout: 240 seconds) |
| 2021-03-12 19:51:17 | × | ChubaDuba quits (~ChubaDuba@176.212.35.225) (Quit: WeeChat 1.6) |
| 2021-03-12 19:59:14 | → | geekosaur joins (82650c7a@130.101.12.122) |
| 2021-03-12 20:31:10 | → | joan_ joins (~joan@193-200-14-237.sf.ddns.bulsat.com) |
| 2021-03-12 20:31:36 | <joan_> | Hello. |
| 2021-03-12 20:32:42 | × | joan_ quits (~joan@193-200-14-237.sf.ddns.bulsat.com) (Client Quit) |
| 2021-03-12 20:33:42 | × | geekosaur quits (82650c7a@130.101.12.122) (Ping timeout: 240 seconds) |
| 2021-03-12 20:34:09 | → | exo70 joins (c1c80eed@gateway/web/cgi-irc/kiwiirc.com/ip.193.200.14.237) |
| 2021-03-12 20:34:46 | <exo70> | Hello? |
| 2021-03-12 20:34:59 | <exo70> | Is someone here? |
| 2021-03-12 20:40:42 | → | geekosaur joins (82650c7a@130.101.12.122) |
| 2021-03-12 20:40:53 | <mc47> | yep |
| 2021-03-12 20:41:46 | <exo70> | right, hi |
| 2021-03-12 20:42:11 | <exo70> | im having issues with the bsp layout |
| 2021-03-12 20:58:02 | <exo70> | how can I make it rotate the entire tree by say 90° |
| 2021-03-12 21:01:05 | <exo70> | on a keypress of course |
| 2021-03-12 21:06:50 | <mc47> | what bsp? |
| 2021-03-12 21:07:56 | <mc47> | anyway, this should do it |
| 2021-03-12 21:07:56 | <mc47> | https://hackage.haskell.org/package/xmonad-0.15/docs/XMonad-Layout.html#t:Mirror |
| 2021-03-12 21:09:39 | <geekosaur> | mc47, X.L.BinarySpacePartition |
| 2021-03-12 21:09:55 | <geekosaur> | which I know exists, but very little about it |
| 2021-03-12 21:15:49 | → | Nahra joins (~Nahra@unaffiliated/nahra) |
| 2021-03-12 21:18:22 | <exo70> | no, no, I want to rotate the windows like I can do in bspwm which is like... in circle |
| 2021-03-12 21:19:29 | × | geekosaur quits (82650c7a@130.101.12.122) (Quit: Connection closed) |
| 2021-03-12 21:20:06 | <exo70> | Uploaded file: https://uploads.kiwiirc.com/files/d5058d09a82faee63b18ecaab390aa2a/1615578812.gif |
| 2021-03-12 21:20:11 | <exo70> | like that |
| 2021-03-12 21:20:22 | <exo70> | i dont know if that is possible |
| 2021-03-12 21:27:06 | × | exo70 quits (c1c80eed@gateway/web/cgi-irc/kiwiirc.com/ip.193.200.14.237) (Quit: Connection closed) |
| 2021-03-12 21:31:13 | × | ADG1089__ quits (~aditya@223.226.229.230) (Remote host closed the connection) |
| 2021-03-12 21:38:42 | × | Nahra quits (~Nahra@unaffiliated/nahra) (Quit: leaving) |
| 2021-03-12 21:39:06 | → | exo70 joins (c1c80eed@gateway/web/cgi-irc/kiwiirc.com/ip.193.200.14.237) |
| 2021-03-12 21:40:55 | <mc47> | oh I have no idea |
| 2021-03-12 21:43:01 | × | exo70 quits (c1c80eed@gateway/web/cgi-irc/kiwiirc.com/ip.193.200.14.237) (Client Quit) |
| 2021-03-12 22:15:02 | × | ericsagnes quits (~ericsagne@2405:6580:0:5100:ff67:b2c7:65c7:54f0) (Ping timeout: 264 seconds) |
| 2021-03-12 22:17:53 | → | ericsagnes joins (~ericsagne@2405:6580:0:5100:1715:de72:a1c7:dcd1) |
| 2021-03-12 22:19:14 | × | spoonm quits (~spoonm@tokyo.spoonm.org) (Ping timeout: 246 seconds) |
| 2021-03-12 22:25:23 | <heck-to-the-gnom> | The name of this submodule, is interesting, but it should do what you desire exo70: https://hackage.haskell.org/package/xmonad-contrib-0.16/docs/XMonad-Actions-RotSlaves.html#v:rotAllDown |
| 2021-03-12 22:25:23 | <heck-to-the-gnom> | well frick, he left |
| 2021-03-12 22:28:29 | <Liskni_si> | they always leave |
| 2021-03-12 22:29:34 | → | ericsagn1 joins (~ericsagne@2405:6580:0:5100:985d:1221:bd5b:d5dd) |
| 2021-03-12 22:30:37 | × | ericsagnes quits (~ericsagne@2405:6580:0:5100:1715:de72:a1c7:dcd1) (Ping timeout: 272 seconds) |
| 2021-03-12 22:31:58 | <heck-to-the-gnom> | right tho |
| 2021-03-12 22:37:51 | → | spoonm joins (~spoonm@tokyo.spoonm.org) |
| 2021-03-12 22:41:04 | <mc47> | okay that needs another name |
| 2021-03-12 22:43:04 | × | mc47 quits (~yecinem@89.246.239.190) (Remote host closed the connection) |
| 2021-03-12 23:31:45 | <heck-to-the-gnom> | it's short for rotate non-master windows |
| 2021-03-12 23:32:14 | <heck-to-the-gnom> | but, uh, a tad bit white-supremacist in feel |
| 2021-03-12 23:50:01 | × | seschwar quits (~seschwar@unaffiliated/seschwar) (Quit: :wq) |
| 2021-03-13 00:21:40 | × | notis quits (~notis@85.203.44.249) (Ping timeout: 256 seconds) |
| 2021-03-13 00:47:21 | × | hexo quits (~hexo@gateway/tor-sasl/hexo) (Remote host closed the connection) |
| 2021-03-13 00:47:36 | → | hexo joins (~hexo@gateway/tor-sasl/hexo) |
| 2021-03-13 00:48:19 | <vrs> | going by the author emails, they're not native speakers, so presumably they're not hip to the latest language fashions |
| 2021-03-13 01:32:43 | → | gazler_ joins (~gazler@195.107.2.81.in-addr.arpa) |
| 2021-03-13 01:34:46 | × | gazler quits (~gazler@195.107.2.81.in-addr.arpa) (Ping timeout: 256 seconds) |
| 2021-03-13 01:47:58 | → | xaltsc joins (~xaltsc@unaffiliated/xaltsc) |
| 2021-03-13 02:11:12 | × | thc202 quits (~thc202@unaffiliated/thc202) (Ping timeout: 260 seconds) |
| 2021-03-13 02:32:01 | <heck-to-the-gnom> | ah, an honest mistake then |
| 2021-03-13 02:45:46 | × | kelnoky quits (~shao@ip1f128ba7.dynamic.kabel-deutschland.de) (Quit: WeeChat 3.0.1) |
| 2021-03-13 03:34:38 | × | theDon quits (~td@muedsl-82-207-238-185.citykom.de) (Ping timeout: 260 seconds) |
| 2021-03-13 03:36:25 | → | theDon joins (~td@muedsl-82-207-238-134.citykom.de) |
| 2021-03-13 05:51:21 | × | growpotkin quits (~growpotki@130-45-30-154.dyn.grandenetworks.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-03-13 06:23:34 | <Solid> | stil a weird choice, as we're explicitly calling it the stack set etc. |
| 2021-03-13 06:23:56 | <Solid> | ?tell exo70 this https://hackage.haskell.org/package/xmonad-contrib-0.16/docs/XMonad-Actions-RotSlaves.html#v:rotAllDown may provide the functionality you need |
| 2021-03-13 06:23:56 | <lambdabot> | Consider it noted. |
| 2021-03-13 06:29:26 | × | spoonm quits (~spoonm@tokyo.spoonm.org) (Ping timeout: 264 seconds) |
| 2021-03-13 06:53:30 | <dmwit> | Seems like the right choice of noun, given that xmonad itself calls the first window in the StackSet the master. (We can argue separately whether xmonad should do that.) |
| 2021-03-13 06:53:38 | <dmwit> | https://hackage.haskell.org/package/xmonad-0.15/docs/XMonad-StackSet.html#v:focusMaster e.g. |
| 2021-03-13 06:55:05 | <dmwit> | There's a couple others; you can find-in-page on the index to see them. https://hackage.haskell.org/package/xmonad-0.15/docs/doc-index-All.html |
| 2021-03-13 06:59:23 | → | palo1 joins (~weechat@dynamic-078-055-050-171.78.55.pool.telefonica.de) |
| 2021-03-13 06:59:53 | → | qbit2821 joins (~qbit2821@94-255-133-216.cust.bredband2.com) |
| 2021-03-13 07:02:22 | × | palo quits (~weechat@c-base/crew/palo) (Ping timeout: 276 seconds) |
| 2021-03-13 07:02:23 | palo1 | is now known as palo |
| 2021-03-13 07:02:53 | palo | is now known as Guest29216 |
| 2021-03-13 08:02:49 | × | xaltsc quits (~xaltsc@unaffiliated/xaltsc) (Ping timeout: 276 seconds) |
| 2021-03-13 08:32:50 | → | novas0x2a1 joins (~blah@157-131-126-102.fiber.dynamic.sonic.net) |
| 2021-03-13 08:33:14 | × | novas0x2a quits (~blah@157-131-126-102.fiber.dynamic.sonic.net) (Read error: Connection reset by peer) |
| 2021-03-13 08:59:45 | → | notis joins (~notis@85.203.44.249) |
| 2021-03-13 09:00:27 | → | mc47 joins (~yecinem@89.246.239.190) |
| 2021-03-13 09:35:21 | × | Waifod quits (~Waifod@91.106.123.186) (Ping timeout: 264 seconds) |
| 2021-03-13 09:36:47 | → | Waifod joins (Waifod@gateway/vpn/protonvpn/waifod) |
| 2021-03-13 09:48:45 | → | kelnoky joins (~shao@ip1f128ba7.dynamic.kabel-deutschland.de) |
| 2021-03-13 10:01:32 | → | spoonm joins (~spoonm@tokyo.spoonm.org) |
| 2021-03-13 10:18:07 | def_jam | is now known as eb0t |
| 2021-03-13 10:39:21 | → | seschwar joins (~seschwar@unaffiliated/seschwar) |
| 2021-03-13 10:54:13 | → | malook joins (~Thunderbi@2a02:9b0:4001:abd3:a4ff:89dd:1dbb:1f5) |
All times are in UTC.