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.

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

adapt setting editor to support navigating input / result #189901

Merged
merged 3 commits into from
Aug 9, 2023

Conversation

weartist
Copy link
Contributor

@weartist weartist commented Aug 8, 2023

Fix: #188754

meganrogge
meganrogge previously approved these changes Aug 8, 2023
Copy link
Contributor

@meganrogge meganrogge left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks! LGTM

@meganrogge meganrogge requested a review from rzhao271 August 8, 2023 16:25
mjbvz
mjbvz previously approved these changes Aug 8, 2023
@weartist weartist dismissed stale reviews from mjbvz and meganrogge via 1c9d5ca August 9, 2023 01:53
@weartist
Copy link
Contributor Author

weartist commented Aug 9, 2023

@meganrogge @rzhao271 @mjbvz sorry everyone, I made a simple modification that may need to be re-reviewed, but I feel that focus to LoC is indeed a better solution

@meganrogge meganrogge enabled auto-merge August 9, 2023 02:04
@meganrogge meganrogge merged commit 7a932b9 into microsoft:main Aug 9, 2023
@github-actions github-actions bot locked and limited conversation to collaborators Sep 23, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Settings editor doesn't respect ctrl+up and ctrl+down
5 participants