JavaTX/Plugin_JCC
3
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Keine ConcurrentModificationException mehr durch das Plugin.

Browse Source
This commit is contained in:
Michael Uhl 2019-05-14 22:31:00 +02:00
parent 59ee469172
commit 60ab289eeb
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
JavaCompilerPlugin/bundles/JavaCompilerPlugin.Plugin/src/typinferenzplugin/editor/JavEditor.java
View File

@ -346,7 +346,9 @@ public class JavEditor extends TextEditor implements UnifyResultListener {
Vector<JavMarker> markers = new Vector<JavMarker>();
Vector<JavMarker> newMarkers = typeinference.updateWithResult(markers, evt.getNewTypeResult());
errorMarkers.removeAll(newMarkers);
for (int i = 0; i < newMarkers.size(); i++) {
errorMarkers.remove(newMarkers.get(i));
}
for (JavMarker trm : newMarkers) {
if (trm instanceof TypeReplaceMarker) {