Kirill Bulatov 4684440202 Fix focus issues with gpui2 docks (#3606) ... * Fixed dock toggling not focusing the terminal element * Fixed loosing focus on dock close (e.g. cmd-d on the last terminal in the dock) * Removed element stateless focus API since it would not work when the element is not rendered, update all API usages to the stateful one via `gpui::Subscription` Release Notes: - N/A		2023-12-12 17:26:39 +02:00
..
docs
src	Fix focus issues with gpui2 docks (#3606)	2023-12-12 17:26:39 +02:00
tests
build.rs
Cargo.toml