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

[siw]: sync search results with editor content changes #8765

Merged
merged 1 commit into from
Dec 16, 2020

Conversation

DucNgn
Copy link
Contributor

@DucNgn DucNgn commented Nov 19, 2020

What it does

How to test

  • Make sure search.searchOnEditorModification is on
  • Open a workspace, perform a search
  • Make changes in the editor
  • Observe the search results in search view are updated as typing

siw

Review checklist

Reminder for reviewers

Signed-off-by: Duc Nguyen [email protected]

@vince-fugnitto vince-fugnitto added enhancement issues that are enhancements to current functionality - nice to haves search in workspace issues related to the search-in-workspace labels Nov 20, 2020
@DucNgn DucNgn force-pushed the dn/syncSearchResults branch 2 times, most recently from 40bfc55 to 4d9f257 Compare November 20, 2020 16:25
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.

The changes work very well, there is now a sync between open editors and the search results 👍. I included minor documentation suggestions but they can be excluded if not applicable.

@DucNgn DucNgn force-pushed the dn/syncSearchResults branch from 4d9f257 to 2a33431 Compare November 20, 2020 19:50
@vince-fugnitto
Copy link
Member

vince-fugnitto commented Nov 20, 2020

@eclipse-theia/core I believe we may have exhaused the travis credits as previously mentioned in the dev meeting: https://github.com/eclipse-theia/theia/wiki/Dev-Meetings#minutes-2020-11-03.

image

image

@DucNgn DucNgn force-pushed the dn/syncSearchResults branch from 2a33431 to fd9d7c9 Compare November 30, 2020 13:17
@DucNgn DucNgn force-pushed the dn/syncSearchResults branch 2 times, most recently from 8d3633d to bba0996 Compare December 7, 2020 17:24
@DucNgn
Copy link
Contributor Author

DucNgn commented Dec 7, 2020

@marechal-p I rebased the PR and resolved conflicts. Can you do another round of review for this PR?

@DucNgn DucNgn requested a review from paul-marechal December 7, 2020 17:30
@DucNgn DucNgn force-pushed the dn/syncSearchResults branch from bba0996 to 2367b40 Compare December 7, 2020 19:38
@DucNgn DucNgn force-pushed the dn/syncSearchResults branch from 2367b40 to 17a37ab Compare December 16, 2020 13:56
+ Add preference `search.searchOnEditorModification`. Enabling this option will make the search results in search view automatically get updated as user modify the  editor.

Signed-off-by: Duc Nguyen <[email protected]>
@DucNgn DucNgn force-pushed the dn/syncSearchResults branch from 17a37ab to c42cf15 Compare December 16, 2020 14:58
Copy link
Member

@paul-marechal paul-marechal left a comment

Choose a reason for hiding this comment

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

LGTM

@paul-marechal paul-marechal merged commit 8e53c23 into eclipse-theia:master Dec 16, 2020
@vince-fugnitto vince-fugnitto deleted the dn/syncSearchResults branch December 16, 2020 19:48
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement issues that are enhancements to current functionality - nice to haves search in workspace issues related to the search-in-workspace
Projects
None yet
Development

Successfully merging this pull request may close these issues.

[search] Results are not updated after editor content changed
6 participants