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

In-document search should search in the editor #3442

Closed
ghost opened this issue Jul 1, 2020 · 2 comments
Closed

In-document search should search in the editor #3442

ghost opened this issue Jul 1, 2020 · 2 comments
Labels
stale An issue that hasn't been active for a while...

Comments

@ghost
Copy link

ghost commented Jul 1, 2020

Currently the in-document search searchers in the viewer. However, for editing, it would be much more useful for the in-document search to place the cursor (or at least highlight) the word in the editor pane. Searching only in the viewer is made worse due to another bug that causes the viewer and editor panes to not be in sync, especially with Code Mirror (#3341).

@stale
Copy link

stale bot commented Aug 1, 2020

Hey there, it looks like there has been no activity on this issue recently. Has the issue been fixed, or does it still require the community's attention? This issue may be closed if no further activity occurs. You may comment on the issue and I will leave it open. Thank you for your contributions.

@stale stale bot added the stale An issue that hasn't been active for a while... label Aug 1, 2020
@stale
Copy link

stale bot commented Aug 8, 2020

Closing this issue after a prolonged period of inactivity. If this issue is still present in the latest release, please feel free to create a new issue with up-to-date information.

@stale stale bot closed this as completed Aug 8, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
stale An issue that hasn't been active for a while...
Projects
None yet
Development

No branches or pull requests

0 participants