Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Grouped and sorted properties #205

Merged
merged 1 commit into from
Sep 21, 2023
Merged

Grouped and sorted properties #205

merged 1 commit into from
Sep 21, 2023

Conversation

ingram12
Copy link
Contributor

Grouped and sorted extension properties in settings. Simplified navigation and search for settings.
Property names and settings have not changed.

image

@ingram12
Grouped and sorted properties
b63befa 
Grouped and sorted extension properties in settings. Simplified navigation and search for settings.
@ingram12 ingram12 requested a review from jbenden as a code owner September 20, 2023 22:47
@coveralls
Copy link

Pull Request Test Coverage Report for Build 6254887382

  • 0 of 0 changed or added relevant lines in 0 files are covered.
  • 2 unchanged lines in 1 file lost coverage.
  • Overall coverage decreased (-0.3%) to 50.392%
Files with Coverage Reduction New Missed Lines %
server/src/utils.ts 2 69.23%
Totals Coverage Status
Change from base Build 6249742279: -0.3%
Covered Lines: 456
Relevant Lines: 823
💛 - Coveralls

@jbenden jbenden self-assigned this Sep 21, 2023
@jbenden jbenden merged commit 0cd621f into jbenden:main Sep 21, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@jbenden jbenden jbenden approved these changes

Assignees

@jbenden jbenden

Labels
enhancement
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@ingram12 @coveralls @jbenden