DTD validation problems not refreshing correctly

[iTReprise]

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:

<?xml version="1.0"?>
<!DOCTYPE student [
  <!ELEMENT student (surname,id)>
  <!ELEMENT surname (#PCDATA)>
]>
<student>
  <surname>Smith</surname>
  <id>567896</id>
</student>

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

[fbricon]

See upstream issue: eclipse-lemminx/lemminx#194

[angelozerr]

Indded it should work:

I think we should add a test with this case.

[fbricon]

Works in 0.2.0. Please try the latest CI build:

• Download the latest development VSIX archive from here. (vscode-xml-XXX.vsix)
• Go to the Extensions section in VSCode.
• At the top right click the ... icon.
• Select 'Install from VSIX...' and choose the visx file.