Skip to content

Fix configuration groups ordering#3871

Merged
DanTup merged 1 commit intoDart-Code:masterfrom
guidezpl:fix-order
Mar 12, 2022
Merged

Fix configuration groups ordering#3871
DanTup merged 1 commit intoDart-Code:masterfrom
guidezpl:fix-order

Conversation

@guidezpl
Copy link
Contributor

@guidezpl guidezpl commented Mar 12, 2022

Give every group an order (same-order = alphabetical)

Before After
Screen Shot 2022-03-12 at 11 36 33 Screen Shot 2022-03-12 at 11 36 20

@DanTup
Copy link
Member

DanTup commented Mar 12, 2022

Nice, thanks!

@DanTup DanTup merged commit 2bfae9c into Dart-Code:master Mar 12, 2022
@DanTup DanTup added this to the v3.38.0 milestone Mar 12, 2022
@DanTup DanTup added the is enhancement An enhancement or improvement that should be listed in release notes but is not a bug fix. label Mar 12, 2022
@guidezpl guidezpl deleted the fix-order branch March 13, 2022 00:18
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

is enhancement An enhancement or improvement that should be listed in release notes but is not a bug fix.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants