diff options
| author | Lars Vogel | 2019-06-17 09:19:57 +0000 |
|---|---|---|
| committer | Lars Vogel | 2019-06-17 09:39:10 +0000 |
| commit | 8def8098992f4ea0f6dd016a0d2d5c2c6b7a814f (patch) | |
| tree | 5c19ae70a25ec84beba49bdda67e5c69870db69a /org.eclipse.ui.workbench.texteditor | |
| parent | 925e3c83512b8467fdbfc8ebb45819c82c18be01 (diff) | |
| download | eclipse.platform.text-8def8098992f4ea0f6dd016a0d2d5c2c6b7a814f.tar.gz eclipse.platform.text-8def8098992f4ea0f6dd016a0d2d5c2c6b7a814f.tar.xz eclipse.platform.text-8def8098992f4ea0f6dd016a0d2d5c2c6b7a814f.zip | |
Remove redundant block
Change-Id: I01d785405a51605a19429bcd9560232530fc51c1
Signed-off-by: Lars Vogel <Lars.Vogel@vogella.com>
Diffstat (limited to 'org.eclipse.ui.workbench.texteditor')
| -rw-r--r-- | org.eclipse.ui.workbench.texteditor/src/org/eclipse/ui/texteditor/AbstractTextEditor.java | 10 |
1 files changed, 4 insertions, 6 deletions
diff --git a/org.eclipse.ui.workbench.texteditor/src/org/eclipse/ui/texteditor/AbstractTextEditor.java b/org.eclipse.ui.workbench.texteditor/src/org/eclipse/ui/texteditor/AbstractTextEditor.java index aecfa6e5655..beb70b4ec30 100644 --- a/org.eclipse.ui.workbench.texteditor/src/org/eclipse/ui/texteditor/AbstractTextEditor.java +++ b/org.eclipse.ui.workbench.texteditor/src/org/eclipse/ui/texteditor/AbstractTextEditor.java @@ -6310,14 +6310,12 @@ public abstract class AbstractTextEditor extends EditorPart implements ITextEdit StyledText widget= fSourceViewer.getTextWidget(); widget.setRedraw(false); - { - adjustHighlightRange(revealStart, revealLength); - fSourceViewer.revealRange(revealStart, revealLength); + adjustHighlightRange(revealStart, revealLength); + fSourceViewer.revealRange(revealStart, revealLength); - fSourceViewer.setSelectedRange(selectionStart, selectionLength); + fSourceViewer.setSelectedRange(selectionStart, selectionLength); - markInNavigationHistory(); - } + markInNavigationHistory(); widget.setRedraw(true); } |