protected TextConsoleViewer createViewer(Composite parent) { return new IOConsoleViewer(parent, (TextConsole)getConsole()); }
public void setDocument(IDocument document) { IDocument oldDocument= getDocument(); super.setDocument(document); if (oldDocument != null) { oldDocument.removeDocumentListener(getDocumentListener()); } if (document != null) { document.addDocumentListener(getDocumentListener()); } }
/** * @return <code>false</code> if text is editable */ public boolean isReadOnly() { return !getTextWidget().getEditable(); }
private void updateWidgetCaretLocation(int documentCaret) { int widgetCaret = modelOffset2WidgetOffset(documentCaret); if (widgetCaret == -1) { // try to move it to the closest spot IRegion region = getModelCoverage(); if (region != null) { if (documentCaret <= region.getOffset()) { widgetCaret = 0; } else if (documentCaret >= region.getOffset() + region.getLength()) { widgetCaret = getVisibleRegion().getLength(); } } } if (widgetCaret != -1) { // there is a valid widget caret getTextWidget().setCaretOffset(widgetCaret); getTextWidget().showSelection(); } }
/** * 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 handleVerifyEvent(VerifyEvent e) { IDocument doc = getDocument(); String[] legalLineDelimiters = doc.getLegalLineDelimiters(); String eventString = e.text; try { doc.replace(length, 0, eventString); updateWidgetCaretLocation(length); } catch (BadLocationException e1) {
protected void contextMenuAboutToShow(IMenuManager menuManager) { super.contextMenuAboutToShow(menuManager); menuManager.add(fScrollLockAction); IOConsoleViewer viewer = (IOConsoleViewer) getViewer(); if (!viewer.isReadOnly()) { menuManager.remove(ActionFactory.CUT.getId()); menuManager.remove(ActionFactory.PASTE.getId()); } }
public void setAutoScroll(boolean scroll) { IOConsoleViewer viewer = (IOConsoleViewer) getViewer(); if (viewer != null) { viewer.setAutoScroll(scroll); fScrollLockAction.setChecked(!scroll); } }
protected void handleVerifyEvent(VerifyEvent e) { IDocument doc = getDocument(); String[] legalLineDelimiters = doc.getLegalLineDelimiters(); String eventString = e.text;
public boolean isAutoScroll() { IOConsoleViewer viewer = (IOConsoleViewer) getViewer(); if (viewer != null) { return viewer.isAutoScroll(); } return false; } public void setWordWrap(boolean wordwrap) {
/** * 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 contextMenuAboutToShow(IMenuManager menuManager) { super.contextMenuAboutToShow(menuManager); menuManager.add(fScrollLockAction); menuManager.add(fWordWrapAction); IOConsoleViewer viewer = (IOConsoleViewer) getViewer(); if (!viewer.isReadOnly()) { menuManager.remove(ActionFactory.CUT.getId()); menuManager.remove(ActionFactory.PASTE.getId()); } }
public void setAutoScroll(boolean scroll) { IOConsoleViewer viewer = (IOConsoleViewer) getViewer(); if (viewer != null) { viewer.setAutoScroll(scroll); fScrollLockAction.setChecked(!scroll); } }
@Override public void setDocument(IDocument document) { IDocument oldDocument= getDocument(); super.setDocument(document); if (oldDocument != null) { oldDocument.removeDocumentListener(getDocumentListener()); } if (document != null) { document.addDocumentListener(getDocumentListener()); } }
public void setWordWrap(boolean wordwrap) { fWordWrap = wordwrap; getTextWidget().setWordWrap(wordwrap); }
public void createControl(Composite parent) { super.createControl(parent); if (fReadOnly) { IOConsoleViewer viewer = (IOConsoleViewer) getViewer(); viewer.setReadOnly(); } }
@Override protected TextConsoleViewer createViewer(Composite parent) { return new IOConsoleViewer(parent, (TextConsole) getConsole(), fView); }
/** * @return <code>false</code> if text is editable */ public boolean isReadOnly() { return !getTextWidget().getEditable(); }
@Override public void createControl(Composite parent) { super.createControl(parent); if (fReadOnly) { IOConsoleViewer viewer = (IOConsoleViewer) getViewer(); viewer.setReadOnly(); } }
@Override public void run() { StyledText text = getTextWidget(); if (text != null && !text.isDisposed()) { text.setEditable(false); } } });