Error markers are shown after editing with earlier code content
Summary
After correcting an erroneous code, Eclipse TITAN Designer still shows error marker with the earlier code content.
Steps and/or TTCN-3 code to reproduce
Happens on big project, could not reproduce it with small project. I've shown it to @aknappqwt on screen share.
Platform details (OS type and version)
eclipse.buildId=4.27.0.20230309-1200
eclipse.vm=/home/ethecs/.p2/pool/plugins/org.eclipse.justj.openjdk.hotspot.jre.full.linux.x86_64_17.0.2.v20220201-1208/jre/bin/java
Ubuntu 22.04
/cc @aknappqwt @mmagyari