/** * @return <code>false</code> if text is editable */ public boolean isReadOnly() { return !getTextWidget().getEditable(); }
/** * @return <code>false</code> if text is editable */ public boolean isReadOnly() { return !getTextWidget().getEditable(); }
public void setWordWrap(boolean wordwrap) { fWordWrap = wordwrap; getTextWidget().setWordWrap(wordwrap); }
@Override public void run() { StyledText text = getTextWidget(); if (text != null && !text.isDisposed()) { text.setEditable(false); } } });
public void run() { StyledText text = getTextWidget(); if (text != null && !text.isDisposed()) { text.setEditable(false); } } });
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(); } }