@Override public boolean getAutoScrollLock() { IPage page = getCurrentPage(); if (page instanceof IOConsolePage) { return !((IOConsolePage) page).isAutoScroll(); } return fScrollLock; } }
@Override public void setScrollLock(boolean scrollLock) { fScrollLock = scrollLock; IPage page = getCurrentPage(); if (page instanceof IOConsolePage) { ((IOConsolePage)page).setAutoScroll(!scrollLock); } }
@Override public void setAutoScrollLock(boolean scrollLock) { IPage page = getCurrentPage(); if (page instanceof IOConsolePage) { ((IOConsolePage) page).setAutoScroll(!scrollLock); } }
public void setScrollLock(boolean scrollLock) { fScrollLock = scrollLock; IPage page = getCurrentPage(); if (page instanceof IOConsolePage) { ((IOConsolePage)page).setAutoScroll(!scrollLock); } }
fPinAction.update(); IPage page = getCurrentPage(); if (page instanceof IOConsolePage) { ((IOConsolePage)page).setAutoScroll(!fScrollLock);
fPinAction.update(); IPage page = getCurrentPage(); if (page instanceof IOConsolePage) { ((IOConsolePage) page).setWordWrap(fWordWrap);
@Override public IStatus runInUIThread(IProgressMonitor monitor) { synchronized (list) { if (list.isEmpty()) { return Status.OK_STATUS; } IWorkbenchWindow[] workbenchWindows = PlatformUI.getWorkbench().getWorkbenchWindows(); for (int i = 0; i < workbenchWindows.length; i++) { IWorkbenchWindow window = workbenchWindows[i]; if (window != null) { IWorkbenchPage page = window.getActivePage(); if (page != null) { IViewPart part = page.findView(IConsoleConstants.ID_CONSOLE_VIEW); if (part != null && part instanceof IConsoleView) { ConsoleView view = (ConsoleView) part; if (list.contains(view.getConsole())) { Control control = view.getCurrentPage().getControl(); if (!control.isDisposed()) { control.redraw(); } } } } } } list.clear(); } return Status.OK_STATUS; } }
public IStatus runInUIThread(IProgressMonitor monitor) { synchronized (list) { if (list.isEmpty()) { return Status.OK_STATUS; } IWorkbenchWindow[] workbenchWindows = PlatformUI.getWorkbench().getWorkbenchWindows(); for (int i = 0; i < workbenchWindows.length; i++) { IWorkbenchWindow window = workbenchWindows[i]; if (window != null) { IWorkbenchPage page = window.getActivePage(); if (page != null) { IViewPart part = page.findView(IConsoleConstants.ID_CONSOLE_VIEW); if (part != null && part instanceof IConsoleView) { ConsoleView view = (ConsoleView) part; if (list.contains(view.getConsole())) { Control control = view.getCurrentPage().getControl(); if (!control.isDisposed()) { control.redraw(); } } } } } } list.clear(); } return Status.OK_STATUS; } }