From e526b9d58e7ba3d440e61c026f38e4b9d2ffa580 Mon Sep 17 00:00:00 2001 From: Josh Robson Chase Date: Fri, 16 Jan 2026 10:03:08 -0500 Subject: [PATCH] add an entry to the settings UI --- crates/settings_ui/src/page_data.rs | 17 ++++++++++++++++- 1 file changed, 16 insertions(+), 1 deletion(-) diff --git a/crates/settings_ui/src/page_data.rs b/crates/settings_ui/src/page_data.rs index 6eb2f1dbf454ccd03492e5790a1f207f0fa47a56..f3ec197c0da068909fb2dad95a8621365528224c 100644 --- a/crates/settings_ui/src/page_data.rs +++ b/crates/settings_ui/src/page_data.rs @@ -4121,7 +4121,7 @@ fn window_and_layout_page() -> SettingsPage { ] } - fn layout_section() -> [SettingsPageItem; 4] { + fn layout_section() -> [SettingsPageItem; 5] { [ SettingsPageItem::SectionHeader("Layout"), SettingsPageItem::SettingItem(SettingItem { @@ -4185,6 +4185,21 @@ fn window_and_layout_page() -> SettingsPage { }), metadata: None, }), + SettingsPageItem::SettingItem(SettingItem { + title: "Focus Follows Mouse", + description: "Whether to change focus to a pane when the mouse hovers over it.", + field: Box::new(SettingField { + json_path: Some("focus_follows_mouse"), + pick: |settings_content| { + settings_content.workspace.focus_follows_mouse.as_ref() + }, + write: |settings_content, value| { + settings_content.workspace.focus_follows_mouse = value; + }, + }), + metadata: None, + files: USER, + }), ] }