summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorszarnekow2009-03-12 04:55:01 (EDT)
committer sefftinge2009-03-12 04:55:01 (EDT)
commit174c57ec2f433628df56c24edfa494386c0ba607 (patch)
tree78f6d66da55416826101fd194f2a52d867196057
parentf86c2b59f56330675a822b9c6c5f7e754e892df5 (diff)
downloadorg.eclipse.xtext-174c57ec2f433628df56c24edfa494386c0ba607.zip
org.eclipse.xtext-174c57ec2f433628df56c24edfa494386c0ba607.tar.gz
org.eclipse.xtext-174c57ec2f433628df56c24edfa494386c0ba607.tar.bz2
Fix for https://bugs.eclipse.org/bugs/show_bug.cgi?id=268297
-rw-r--r--plugins/org.eclipse.xtext.ui.core/src/org/eclipse/xtext/ui/core/editor/model/XtextDocumentProvider.java2
1 files changed, 1 insertions, 1 deletions
diff --git a/plugins/org.eclipse.xtext.ui.core/src/org/eclipse/xtext/ui/core/editor/model/XtextDocumentProvider.java b/plugins/org.eclipse.xtext.ui.core/src/org/eclipse/xtext/ui/core/editor/model/XtextDocumentProvider.java
index c36d49e..1f9d229 100644
--- a/plugins/org.eclipse.xtext.ui.core/src/org/eclipse/xtext/ui/core/editor/model/XtextDocumentProvider.java
+++ b/plugins/org.eclipse.xtext.ui.core/src/org/eclipse/xtext/ui/core/editor/model/XtextDocumentProvider.java
@@ -107,7 +107,7 @@ public class XtextDocumentProvider extends FileDocumentProvider {
break;
}
}
- if (set.getResources().get(i) == emfResource)
+ if (set.getResources().size() > i && set.getResources().get(i) == emfResource)
i++;
}
}