mirror of
https://github.com/zed-industries/zed.git
synced 2025-01-16 15:11:25 +00:00
4684440202
* 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 |
||
---|---|---|
.. | ||
src | ||
Cargo.toml |