Ensure settings are being adjusted via settings profile selector (#35382)

This PR just pins down the behavior of the settings profile selector by
checking a single setting, `buffer_font_size`, as options in the
selector are changed / selected.

Release Notes:

- N/A
This commit is contained in:
Joseph T. Lyons 2025-07-30 21:52:02 -04:00 committed by GitHub
parent 67a491df50
commit ed104ec5e0
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
3 changed files with 67 additions and 26 deletions

2
Cargo.lock generated
View file

@ -14709,6 +14709,7 @@ dependencies = [
name = "settings_profile_selector"
version = "0.1.0"
dependencies = [
"client",
"editor",
"fuzzy",
"gpui",
@ -14718,6 +14719,7 @@ dependencies = [
"project",
"serde_json",
"settings",
"theme",
"ui",
"workspace",
"workspace-hack",