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

Minor fix for the command palette filter #6225

Merged
merged 2 commits into from
Sep 24, 2019
Merged

Minor fix for the command palette filter #6225

merged 2 commits into from
Sep 24, 2019

Conversation

olexii4
Copy link
Contributor

@olexii4 olexii4 commented Sep 20, 2019

Signed-off-by: Oleksii Orel oorel@redhat.com

What it does

Add the trim options to the command palette filter.

How to test

How to reproduce a bug:

  1. Press 'f1' and try to find 'git' commands. It won't work if you add a space after the prefix.
    Screenshot from 2019-09-20 06-08-51

Visual Studio Code has another behavior:
Screenshot from 2019-09-20 06-06-14

Review checklist

Reminder for reviewers

Signed-off-by: Oleksii Orel <oorel@redhat.com>
@akosyakov akosyakov added commands issues related to application commands quick-open issues related to the quick-open labels Sep 20, 2019
Signed-off-by: Oleksii Orel <oorel@redhat.com>
@olexii4
Copy link
Contributor Author

olexii4 commented Sep 20, 2019

@akosyakov I have finished. WDYT?

@vince-fugnitto
Copy link
Member

@olexii4 do you know of a case when the trim would be set to false?

@olexii4
Copy link
Contributor Author

olexii4 commented Sep 23, 2019

@vince-fugnitto I do not know any case when the trim would be set to false. I just didn't want to limit what was implemented.

Do you think I should add trim as a general behavior?

@vince-fugnitto
Copy link
Member

@vince-fugnitto I do not know any case when the trim would be set to false. I just didn't want to limit what was implemented.

Do you think I should add trim as a general behavior?

Exactly, I was just wondering if we should trim in all cases (without the flag). I'm wondering if it'd be useful to turn it off, and in what use case.

@olexii4
Copy link
Contributor Author

olexii4 commented Sep 23, 2019

@akosyakov WDYT?

@akosyakov
Copy link
Member

Thank you for changes!

@olexii4 @vince-fugnitto if there is not case for false, i would be fine to trim it always and introduce a flag when we actually need it.

@vince-fugnitto Could you finish a review please? I would be fine with both ways.

@olexii4
Copy link
Contributor Author

olexii4 commented Sep 23, 2019

@vince-fugnitto Do you prefer to trim in all cases (without the flag)?

PS
I would be fine with both ways too.

@akosyakov akosyakov requested review from vince-fugnitto and removed request for AlexTugarev September 23, 2019 13:18
@vince-fugnitto
Copy link
Member

@vince-fugnitto Do you prefer to trim in all cases (without the flag)?

PS
I would be fine with both ways too.

I'd be fine both ways as well, I'm not sure if it anyone would turn it off explicitly but we can always have the option. I'll test the functionality when I have a bit of time :)

Copy link
Member

@vince-fugnitto vince-fugnitto left a comment

Choose a reason for hiding this comment

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

It works well for me 👍
I think we can go with either approach:

  1. always trim
  2. trim based on the option

I'll leave it up to you @olexii4 :)

@olexii4
Copy link
Contributor Author

olexii4 commented Sep 23, 2019

Let's leave as is.

@olexii4
Copy link
Contributor Author

olexii4 commented Sep 23, 2019

@akosyakov Could you finish a review, please?

@akosyakov akosyakov merged commit aa8a423 into master Sep 24, 2019
@akosyakov akosyakov deleted the CHE-13650 branch September 24, 2019 00:52
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
commands issues related to application commands quick-open issues related to the quick-open
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants