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
When I change a dtd <!ELEMENT> declaration the file doesn't validate automatically. I have to force restart VSCode to see, if my changes fixed the problem.
This file is invalid because its missing <!ELEMENT id (#PCDATA)>. Adding the line doesn't cause the error to disappear, only after restarting VSCode the problem is it fixed.
I'm using VSCode 1.27.2 on Kali Linux. Java JDK is openjdk-10
The text was updated successfully, but these errors were encountered:
When I change a dtd <!ELEMENT> declaration the file doesn't validate automatically. I have to force restart VSCode to see, if my changes fixed the problem.
Example:
This file is invalid because its missing
<!ELEMENT id (#PCDATA)>
. Adding the line doesn't cause the error to disappear, only after restarting VSCode the problem is it fixed.I'm using VSCode 1.27.2 on Kali Linux. Java JDK is openjdk-10
The text was updated successfully, but these errors were encountered: