We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Learn more about funding links in repositories.
Report abuse
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
The element pointed in the following image does not update irrespective of which search result we select.
The pointed element in the above image should have shown the below value
No response
- Version: 2.9.6
-
The text was updated successfully, but these errors were encountered:
Please try the latest dev version, we add a refresh button here:
If the issue continues, please let us know, thank you very much.
Sorry, something went wrong.
Refresh button does not help
🐛 fix #8807
d8614cd
Thanks for the fix, it is working rightly in some cases. But, sometimes it still works incorrectly.
Observed
Expected
File content used for testing
🎨 Improve search hit highlighting #8807 (comment)
8e1e813
@fenilgmehta We will improve it in the next version, thank you.
Vanessa219
No branches or pull requests
Is there an existing issue for this?
Can the issue be reproduced with the default theme (daylight/midnight)?
Could the issue be due to extensions?
Describe the problem
The element pointed in the following image does not update irrespective of which search result we select.

Expected result
The pointed element in the above image should have shown the below value

Screenshot or screen recording presentation
No response
Version environment
- Version: 2.9.6
Log file
-
More information
No response
The text was updated successfully, but these errors were encountered: