diff --git a/debug/org.eclipse.ui.console/src/org/eclipse/ui/console/TextConsoleViewer.java b/debug/org.eclipse.ui.console/src/org/eclipse/ui/console/TextConsoleViewer.java index be3b3bfd2a9..ef499c1529e 100644 --- a/debug/org.eclipse.ui.console/src/org/eclipse/ui/console/TextConsoleViewer.java +++ b/debug/org.eclipse.ui.console/src/org/eclipse/ui/console/TextConsoleViewer.java @@ -788,7 +788,6 @@ protected void internalRevealRange(int start, int end) { int top = textWidget.getTopIndex(); if (top > -1) { // scroll vertically - @SuppressWarnings("deprecation") int lines = getVisibleLinesInViewport(); int bottom = top + lines;