Skip to content

settings_ui: Only allow to reset a setting to default in the file in which it was customized - #40182

Merged
danilo-leal merged 3 commits into
mainfrom
settings-reset-to-default
Oct 14, 2025
Merged

settings_ui: Only allow to reset a setting to default in the file in which it was customized#40182
danilo-leal merged 3 commits into
mainfrom
settings-reset-to-default

Conversation

@danilo-leal

Copy link
Copy Markdown
Member

Plus some other tiny visual adjustments.

Release Notes:

  • N/A

@cla-bot cla-bot Bot added the cla-signed The user has signed the Contributor License Agreement label Oct 14, 2025
@danilo-leal
danilo-leal enabled auto-merge (squash) October 14, 2025 14:02
@danilo-leal
danilo-leal merged commit 867b5df into main Oct 14, 2025
23 checks passed
@danilo-leal
danilo-leal deleted the settings-reset-to-default branch October 14, 2025 14:14
reflectronic pushed a commit that referenced this pull request Oct 14, 2025
…which it was customized (#40182)

Plus some other tiny visual adjustments.

Release Notes:

- N/A
jolutz pushed a commit to jolutz/zed that referenced this pull request Aug 8, 2026
…which it was customized (zed-industries#40182)

Plus some other tiny visual adjustments.

Release Notes:

- N/A
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

cla-signed The user has signed the Contributor License Agreement

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant