Correct dock menu names

2024-01-05 09:58:07 -07:00
parent 22c3eb7d5f
commit fa73cf3983
1 changed files with 7 additions and 3 deletions
--- a/crates/workspace/src/dock.rs
+++ b/crates/workspace/src/dock.rs
@@ -651,9 +651,13 @@ impl Render for PanelButtons {
                                        && panel.position_is_valid(position, cx)
                                    {
                                        let panel = panel.clone();
-                                        menu = menu.entry(position.to_label(), None, move |cx| {
-                                            panel.set_position(position, cx);
-                                        })
+                                        menu = menu.entry(
+                                            format!("Dock {}", position.to_label()),
+                                            None,
+                                            move |cx| {
+                                                panel.set_position(position, cx);
+                                            },
+                                        )
                                    }
                                }
                                menu