🐞 Settings search results are capitalized

[luah5]

Description

When using the settings search the results are all capitalized

To Reproduce

1. Open settings
2. Search for a setting

See that it is capitalized even though the normal setting is not capitalized in the same way

Expected Behavior

The search results should not be capitalized

Version Information

CodeEdit: [0.0.3-alpha.37] macOS: [14.1.2] ~Xcode: [e.g. 14.2]~

Additional Context

N/A

Screenshots

[tom-ludwig]

@RayZhao1998 Looks like the issue got sorted in #1547, but just want to double-check – did I miss anything?

[tom-ludwig]

The problem has been addressed in pull request #1547, although it hasn't been officially marked as closed. Just a friendly reminder to include '* closed #0000' in pull requests that successfully resolve issues.