Elliot Glaysher 20a6c0331c king: set initial terminal size and react to resizes ... This changes startup so we get the size of the current terminal to send to Urbit on startup. We then subscribe to terminal size change notifications and send those to your Urbit via the terminal muxing system. In the case where there are multiple terminal connections to your Urbit, set the terminal size to the minimum of the widths.		2020-09-25 12:40:24 -04:00
..
TermSize.hs	king: set initial terminal size and react to resizes	2020-09-25 12:40:24 -04:00