public void setWordWrap(boolean wordwrap) { IOConsoleViewer viewer = (IOConsoleViewer) getViewer(); if (viewer != null) { viewer.setWordWrap(wordwrap); fWordWrapAction.setChecked(wordwrap); } }
public void setAutoScroll(boolean scroll) { IOConsoleViewer viewer = (IOConsoleViewer) getViewer(); if (viewer != null) { viewer.setAutoScroll(scroll); fScrollLockAction.setChecked(!scroll); } }
/** * Informs the viewer that it's text widget should not be editable. */ public void setReadOnly() { fReadOnly = true; IOConsoleViewer viewer = (IOConsoleViewer) getViewer(); if (viewer != null) { viewer.setReadOnly(); } }
@Override protected void createActions() { super.createActions(); fScrollLockAction = new ScrollLockAction(getConsoleView()); setAutoScroll(!fScrollLockAction.isChecked()); fWordWrapAction = new WordWrapAction(getConsoleView()); setWordWrap(fWordWrapAction.isChecked()); }
protected void createActions() { fPinAction = new PinConsoleAction(this); fDisplayConsoleAction = new ConsoleDropDownAction(this); ConsoleFactoryExtension[] extensions = ((ConsoleManager)ConsolePlugin.getDefault().getConsoleManager()).getConsoleFactoryExtensions(); if (extensions.length > 0) { fOpenConsoleAction = new OpenConsoleAction(); } }
@Override public void setScrollLock(boolean scrollLock) { fScrollLock = scrollLock; IPage page = getCurrentPage(); if (page instanceof IOConsolePage) { ((IOConsolePage)page).setAutoScroll(!scrollLock); } }
protected TextConsoleViewer createViewer(Composite parent) { return new IOConsoleViewer(parent, (TextConsole)getConsole()); }
ShowConsoleViewJob() { super("Show Console View"); //$NON-NLS-1$ setSystem(true); setPriority(Job.SHORT); }
@Override public boolean getAutoScrollLock() { IPage page = getCurrentPage(); if (page instanceof IOConsolePage) { return !((IOConsolePage) page).isAutoScroll(); } return fScrollLock; } }
public boolean isAutoScroll() { IOConsoleViewer viewer = (IOConsoleViewer) getViewer(); if (viewer != null) { return viewer.isAutoScroll(); } return false; } public void setWordWrap(boolean wordwrap) {
public void run() { if (documentAdapter != null) { documentAdapter.setWidth(consoleWidth); } } });
/** * Returns the console manager. The manager will be created lazily on * the first access. * * @return IConsoleManager */ public IConsoleManager getConsoleManager() { if (fConsoleManager == null) { fConsoleManager = new ConsoleManager(); } return fConsoleManager; }
protected void createActions() { fPinAction = new PinConsoleAction(this); fDisplayConsoleAction = new ConsoleDropDownAction(this); ConsoleFactoryExtension[] extensions = ((ConsoleManager)ConsolePlugin.getDefault().getConsoleManager()).getConsoleFactoryExtensions(); if (extensions.length > 0) { fOpenConsoleAction = new OpenConsoleAction(); } }
public void setAutoScroll(boolean scroll) { IOConsoleViewer viewer = (IOConsoleViewer) getViewer(); if (viewer != null) { viewer.setAutoScroll(scroll); fScrollLockAction.setChecked(!scroll); } }
@Override public void setAutoScrollLock(boolean scrollLock) { IPage page = getCurrentPage(); if (page instanceof IOConsolePage) { ((IOConsolePage) page).setAutoScroll(!scrollLock); } }
/** * Informs the viewer that it's text widget should not be editable. */ public void setReadOnly() { fReadOnly = true; IOConsoleViewer viewer = (IOConsoleViewer) getViewer(); if (viewer != null) { viewer.setReadOnly(); } }
@Override protected TextConsoleViewer createViewer(Composite parent) { return new IOConsoleViewer(parent, (TextConsole) getConsole(), fView); }
@Override public void run() { if (documentAdapter != null) { documentAdapter.setWidth(consoleWidth); } } });
public void setScrollLock(boolean scrollLock) { fScrollLock = scrollLock; IPage page = getCurrentPage(); if (page instanceof IOConsolePage) { ((IOConsolePage)page).setAutoScroll(!scrollLock); } }