diff options
Diffstat (limited to 'org.eclipse.ui.console/src/org/eclipse/ui/internal/console/ConsoleView.java')
-rw-r--r-- | org.eclipse.ui.console/src/org/eclipse/ui/internal/console/ConsoleView.java | 19 |
1 files changed, 18 insertions, 1 deletions
diff --git a/org.eclipse.ui.console/src/org/eclipse/ui/internal/console/ConsoleView.java b/org.eclipse.ui.console/src/org/eclipse/ui/internal/console/ConsoleView.java index fdfc65b4f..714fe9de2 100644 --- a/org.eclipse.ui.console/src/org/eclipse/ui/internal/console/ConsoleView.java +++ b/org.eclipse.ui.console/src/org/eclipse/ui/internal/console/ConsoleView.java @@ -185,7 +185,6 @@ public class ConsoleView extends PageBookView implements IConsoleView, IConsoleL } IPage page = getCurrentPage(); if (page instanceof IOConsolePage) { - ((IOConsolePage)page).setAutoScroll(!fScrollLock); ((IOConsolePage) page).setWordWrap(fWordWrap); } } @@ -795,4 +794,22 @@ public class ConsoleView extends PageBookView implements IConsoleView, IConsoleL setPinned(true); } } + + @Override + public void setAutoScrollLock(boolean scrollLock) { + IPage page = getCurrentPage(); + if (page instanceof IOConsolePage) { + ((IOConsolePage) page).setAutoScroll(!scrollLock); + } + + } + + @Override + public boolean getAutoScrollLock() { + IPage page = getCurrentPage(); + if (page instanceof IOConsolePage) { + return !((IOConsolePage) page).isAutoScroll(); + } + return fScrollLock; + } } |