Skip to content

🐞 Settings search results are capitalized #1546

Closed

Description

@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

shot 2 shot 3

Activity

  1. added
    bugSomething isn't working
    on Jan 5, 2024
  2. self-assigned this
    on Jan 6, 2024
  3. added a commit that references this issue on Jan 6, 2024
  4. tom-ludwig commented on Jan 24, 2024

    @tom-ludwig
    Member

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

  5. tom-ludwig commented on Feb 4, 2024

    @tom-ludwig
    Member

    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.

  6. moved this from 🆕 New to 🏁 Complete in CodeEdit Projecton Feb 4, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

Labels

Type

No type

Projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions