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

Quick search - text highlighting not disappearing in notebooks #191125

Open
andreamah opened this issue Aug 23, 2023 · 0 comments
Open

Quick search - text highlighting not disappearing in notebooks #191125

andreamah opened this issue Aug 23, 2023 · 0 comments
Assignees
Labels
bug Issue identified by VS Code Team member as probable bug confirmed Issue has been confirmed by VS Code Team member search Search widget and operation issues
Milestone

Comments

@andreamah
Copy link
Contributor

  1. Create a notebook that has the following string: tex text and open it.
  2. Use the quick text search to look for tex by entering % tex in the file quickpick. Let this load.
  3. Add a t at the end of the string so that it says % text
  4. Notice that the highlight for tex is still there despite how the current query is for text
@andreamah andreamah added search Search widget and operation issues bug Issue identified by VS Code Team member as probable bug labels Aug 23, 2023
@andreamah andreamah added this to the August 2023 milestone Aug 23, 2023
@andreamah andreamah self-assigned this Aug 23, 2023
@andreamah andreamah modified the milestones: August 2023, September 2023 Aug 28, 2023
@andreamah andreamah modified the milestones: October 2023, November 2023 Oct 23, 2023
@andreamah andreamah modified the milestones: November 2023, December 2023 Nov 2, 2023
@andreamah andreamah added the confirmed Issue has been confirmed by VS Code Team member label Dec 6, 2023
@andreamah andreamah modified the milestones: December / January 2024, On Deck Dec 15, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Issue identified by VS Code Team member as probable bug confirmed Issue has been confirmed by VS Code Team member search Search widget and operation issues
Projects
None yet
Development

No branches or pull requests

1 participant