Wez Furlong 1cbaf55640 change mux empty poll to mux empty event ... As part of reducing the amount of regularly scheduled stuff wezterm does in the background, this commit restructures how an empty mux is detected; now when the mux prunes dead windows it will emit an Empty event. The Activity type will now schedule a prune when it is dropped, which will clean up and trigger the Empty event. refs: https://github.com/wez/wezterm/issues/770		2021-05-08 10:25:49 -07:00
..
src	change mux empty poll to mux empty event	2021-05-08 10:25:49 -07:00
Cargo.toml	mux: factor out server bits to helper crate	2020-12-29 15:25:15 -08:00