Remove redundant block
Change-Id: I53a2acd3a48b5cbecf353ba1f26d87dd034f4751
Signed-off-by: Lars Vogel <Lars.Vogel@vogella.com>
diff --git a/bundles/org.eclipse.compare/compare/org/eclipse/compare/internal/MergeSourceViewer.java b/bundles/org.eclipse.compare/compare/org/eclipse/compare/internal/MergeSourceViewer.java
index 14b092e..98d1fae 100644
--- a/bundles/org.eclipse.compare/compare/org/eclipse/compare/internal/MergeSourceViewer.java
+++ b/bundles/org.eclipse.compare/compare/org/eclipse/compare/internal/MergeSourceViewer.java
@@ -301,14 +301,12 @@
StyledText widget= MergeSourceViewer.this.getSourceViewer().getTextWidget();
widget.setRedraw(false);
- {
- adjustHighlightRange(revealStart, revealLength);
- MergeSourceViewer.this.getSourceViewer().revealRange(revealStart, revealLength);
+ adjustHighlightRange(revealStart, revealLength);
+ MergeSourceViewer.this.getSourceViewer().revealRange(revealStart, revealLength);
- MergeSourceViewer.this.getSourceViewer().setSelectedRange(selectionStart, selectionLength);
+ MergeSourceViewer.this.getSourceViewer().setSelectedRange(selectionStart, selectionLength);
- markInNavigationHistory();
- }
+ markInNavigationHistory();
widget.setRedraw(true);
}