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.

Sign up for GitHub

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

Jump to bottom

[search] Results are not updated after editor content changed #2319

Closed
AlexTugarev opened this issue Jul 10, 2018 · 0 comments · Fixed by #8765
Closed

[search] Results are not updated after editor content changed #2319

AlexTugarev opened this issue Jul 10, 2018 · 0 comments · Fixed by #8765
Labels
enhancement issues that are enhancements to current functionality - nice to haves search in workspace issues related to the search-in-workspace

Comments

@AlexTugarev
Copy link
Contributor

I found what I was looking for, but after changing that content part, it's not updated in the search results.

Example:

2018-07-10 09 19 05

I'd suggest to register for workspace events and update result nodes for URIs with content changes.
@AlexTugarev AlexTugarev added the search in workspace issues related to the search-in-workspace label Jul 10, 2018
@vince-fugnitto vince-fugnitto added the enhancement issues that are enhancements to current functionality - nice to haves label Jul 13, 2019
@vince-fugnitto vince-fugnitto mentioned this issue Jul 15, 2019
Closed
8 tasks
@DucNgn DucNgn mentioned this issue Nov 19, 2020
Merged
1 task
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
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
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

[siw]: sync search results with editor content changes DucNgn/theia
3 participants
@AlexTugarev @vince-fugnitto and others