You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
This repository has been archived by the owner on May 7, 2024. It is now read-only.
It seems that sometimes the plugin does not always underline errors with curly lines in some parts of the documents, although the are listed in "Problems" panel. Interestingly, the warnings may be underlined with blue curly lines where the errors are not underlined. Moreover, in other parts of the same document, the errors are underlined.
Unfortunately, I cannot understand why this happens and what steps I need to make for reproducibility. Maybe, someone can tell me what should I do to provide more technical details for this issue report.
The text was updated successfully, but these errors were encountered:
Sign up for freeto subscribe to this conversation on GitHub.
Already have an account?
Sign in.
It seems that sometimes the plugin does not always underline errors with curly lines in some parts of the documents, although the are listed in "Problems" panel. Interestingly, the warnings may be underlined with blue curly lines where the errors are not underlined. Moreover, in other parts of the same document, the errors are underlined.
Unfortunately, I cannot understand why this happens and what steps I need to make for reproducibility. Maybe, someone can tell me what should I do to provide more technical details for this issue report.
The text was updated successfully, but these errors were encountered: