Yehowshua/ZIm
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

WIP: Remove focus side effects from toggle dock commands

Browse source 
co-authored-by: max <max@zed.dev>
This commit is contained in:
Mikayla Maki 2023-05-30 12:00:15 -07:00
parent 84f98f13c4
commit 1a23fe91b4
No known key found for this signature in database
5 changed files with 18 additions and 70 deletions
Download patch file Download diff file Expand all files Collapse all files

6
crates/zed/src/menus.rs
View file

@ -91,15 +91,15 @@ pub fn menus() -> Vec<Menu<'static>> {
MenuItem::separator(),
MenuItem::action(
"Toggle Left Dock",
workspace::ToggleLeftDock { focus: false },
workspace::ToggleLeftDock,
),
MenuItem::action(
"Toggle Right Dock",
workspace::ToggleRightDock { focus: false },
workspace::ToggleRightDock,
),
MenuItem::action(
"Toggle Bottom Dock",
workspace::ToggleBottomDock { focus: false },
workspace::ToggleBottomDock,
),
MenuItem::submenu(Menu {
name: "Editor Layout",

2
crates/zed/src/zed.rs
View file

@ -354,7 +354,7 @@ pub fn initialize_workspace(
.map_or(false, |entry| entry.is_dir())
})
{
workspace.toggle_dock(project_panel_position, false, cx);
workspace.toggle_dock(project_panel_position, cx);
}
workspace.add_panel(terminal_panel, cx)