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

Add option to open settings profile selector in user menu (#35556)

Browse source 
Release Notes:

- N/A
This commit is contained in:
Joseph T. Lyons 2025-08-03 19:25:23 -04:00 • committed by GitHub
parent f14f0c24d6
commit ea7c3a23fb
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 8 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

8
crates/title_bar/src/title_bar.rs
View file

@ -682,6 +682,10 @@ impl TitleBar {
)
.separator()
.action("Settings", zed_actions::OpenSettings.boxed_clone())
.action(
"Settings Profiles",
zed_actions::settings_profile_selector::Toggle.boxed_clone(),
)
.action("Key Bindings", Box::new(keybindings::OpenKeymapEditor))
.action(
"Themes…",
@ -726,6 +730,10 @@ impl TitleBar {
.menu(|window, cx| {
ContextMenu::build(window, cx, |menu, _, _| {
menu.action("Settings", zed_actions::OpenSettings.boxed_clone())
.action(
"Settings Profiles",
zed_actions::settings_profile_selector::Toggle.boxed_clone(),
)
.action("Key Bindings", Box::new(keybindings::OpenKeymapEditor))
.action(
"Themes…",