| author | szarnekow | 2009-03-12 04:55:01 (EDT) |
|---|---|---|
| committer | sefftinge | 2009-03-12 04:55:01 (EDT) |
| commit | 174c57ec2f433628df56c24edfa494386c0ba607 (patch) (side-by-side diff) | |
| tree | 78f6d66da55416826101fd194f2a52d867196057 | |
| parent | f86c2b59f56330675a822b9c6c5f7e754e892df5 (diff) | |
| download | org.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.java | 2 |
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++; } } |