diff options
Diffstat (limited to 'org.eclipse.ui.console/src/org/eclipse/ui/console/TextConsoleViewer.java')
-rw-r--r-- | org.eclipse.ui.console/src/org/eclipse/ui/console/TextConsoleViewer.java | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/org.eclipse.ui.console/src/org/eclipse/ui/console/TextConsoleViewer.java b/org.eclipse.ui.console/src/org/eclipse/ui/console/TextConsoleViewer.java index 1a0ab5bc9..504f0ce0a 100644 --- a/org.eclipse.ui.console/src/org/eclipse/ui/console/TextConsoleViewer.java +++ b/org.eclipse.ui.console/src/org/eclipse/ui/console/TextConsoleViewer.java @@ -31,8 +31,6 @@ import org.eclipse.swt.events.MouseTrackListener; import org.eclipse.swt.events.MouseWheelListener; import org.eclipse.swt.events.SelectionAdapter; import org.eclipse.swt.events.SelectionEvent; -import org.eclipse.swt.events.VerifyEvent; -import org.eclipse.swt.events.VerifyListener; import org.eclipse.swt.graphics.Color; import org.eclipse.swt.graphics.Cursor; import org.eclipse.swt.graphics.Font; @@ -151,9 +149,6 @@ public class TextConsoleViewer extends SourceViewer implements LineStyleListener private void setScrollLock(boolean lock) { userHoldsScrollLock.set(lock); if (scrollLockStateProvider != null && scrollLockStateProvider.getAutoScrollLock() != lock) { - if (!lock && scrollLockStateProvider.getScrollLock()) { - return; - } scrollLockStateProvider.setAutoScrollLock(lock); } } @@ -283,13 +278,6 @@ public class TextConsoleViewer extends SourceViewer implements LineStyleListener } }); - styledText.addVerifyListener(new VerifyListener() { - @Override - public void verifyText(VerifyEvent e) { - // unlock the auto lock is user starts typing - setScrollLock(false); - } - }); ColorRegistry colorRegistry = JFaceResources.getColorRegistry(); propertyChangeListener = new HyperlinkColorChangeListener(); colorRegistry.addListener(propertyChangeListener); |