diff options
Diffstat (limited to 'org.eclipse.ui.editors/src/org/eclipse/ui/texteditor/MarkerRulerAction.java')
| -rw-r--r-- | org.eclipse.ui.editors/src/org/eclipse/ui/texteditor/MarkerRulerAction.java | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/org.eclipse.ui.editors/src/org/eclipse/ui/texteditor/MarkerRulerAction.java b/org.eclipse.ui.editors/src/org/eclipse/ui/texteditor/MarkerRulerAction.java index 3039f5246a0..41aaed68b22 100644 --- a/org.eclipse.ui.editors/src/org/eclipse/ui/texteditor/MarkerRulerAction.java +++ b/org.eclipse.ui.editors/src/org/eclipse/ui/texteditor/MarkerRulerAction.java @@ -350,9 +350,9 @@ public class MarkerRulerAction extends ResourceAction implements IUpdate { try { IMarker[] allMarkers= resource.findMarkers(fMarkerType, true, IResource.DEPTH_ZERO); if (allMarkers != null) { - for (int i= 0; i < allMarkers.length; i++) { - if (includesRulerLine(model.getMarkerPosition(allMarkers[i]), document)) { - markers.add(allMarkers[i]); + for (IMarker allMarker : allMarkers) { + if (includesRulerLine(model.getMarkerPosition(allMarker), document)) { + markers.add(allMarker); } } } |