file type diagnostics in dom

This commit is contained in:
peter
2011-04-19 20:41:53 +02:00
parent 58ea95f3ce
commit 3798d991ab
@@ -336,7 +336,7 @@ public class DomFileElementImpl<T extends DomElement> implements DomFileElement<
}
final DomFileElementImpl<DomElement> fileElement = myManager.getFileElement(myFile);
if (!equals(fileElement)) {
return "file element changed: " + fileElement;
return "file element changed: " + fileElement + "; fileType=" + myFile.getFileType();
}
return null;
}