Fix dock panels not focusing their contents on toggle

Co-authored-by: Antonio <antonio@zed.dev>
2023-12-12 15:07:27 +02:00
parent a9f817fc14
commit 137104e00e
3 changed files with 13 additions and 14 deletions
@@ -1633,6 +1633,7 @@ impl Workspace {
                            panel.focus_handle(cx).focus(cx);
                            reveal_dock = true;
                        } else {
+                            // todo!()
                            // if panel.is_zoomed(cx) {
                            //     dock.set_open(false, cx);
                            // }