-
Notifications
You must be signed in to change notification settings - Fork 2.5k
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
keybindings: search improvement #12312
Merged
vince-fugnitto
merged 2 commits into
eclipse-theia:master
from
FernandoAscencio:fa/keyboardSearchImprovement
Apr 10, 2023
Merged
keybindings: search improvement #12312
vince-fugnitto
merged 2 commits into
eclipse-theia:master
from
FernandoAscencio:fa/keyboardSearchImprovement
Apr 10, 2023
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
@FernandoAscencio do you mind rebasing the pull-request against the latest master? |
FernandoAscencio
force-pushed
the
fa/keyboardSearchImprovement
branch
from
March 16, 2023 12:33
c1ca440
to
952a0d6
Compare
@vince-fugnitto |
FernandoAscencio
force-pushed
the
fa/keyboardSearchImprovement
branch
from
March 16, 2023 13:49
952a0d6
to
c344b99
Compare
FernandoAscencio
force-pushed
the
fa/keyboardSearchImprovement
branch
from
March 28, 2023 20:20
c344b99
to
b88f17e
Compare
@colin-grant-work |
FernandoAscencio
force-pushed
the
fa/keyboardSearchImprovement
branch
from
March 29, 2023 19:34
398f15f
to
8a5623a
Compare
improvement that aims to reduce the number of result when searching keys in keybindings. Signed-Off-By: FernandoAscencio <[email protected]>
FernandoAscencio
force-pushed
the
fa/keyboardSearchImprovement
branch
from
March 31, 2023 14:48
e1b834b
to
6336426
Compare
vince-fugnitto
added
keybindings
issues related to keybindings
ui/ux
issues related to user interface / user experience
labels
Apr 10, 2023
vince-fugnitto
approved these changes
Apr 10, 2023
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
LGTM 👍
- the code looks good
- confirmed that searching works as expected and is aligned with the behavior present in VS Code
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Labels
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
What it does
Closes #11873
This commit aims to improve the keybinding search results in the Keyboard Shortcut Widget.
How to test
Similar to the linked issue.
Notes
Ctrl+U should show keybindings with
Ctrl
andU
, with the following being examples that may or may not exist already.Ctrl
+U
Ctrl
+Alt
+U
Ctrl
+T
U
Ctrl
+K
Ctrl
+U
.Other search terms that should work for finding
Ctrl
+U
are 'Ctrl U', 'U', 'Ctrl' and 'Ctrl+'. These should includeCtrl
+U
in the results.Review checklist
Reminder for reviewers