@Override public int findAndSelect(int widgetOffset, String findString, boolean searchForward, boolean caseSensitive, boolean wholeWord, boolean regExSearch) { int modelOffset= widgetOffset == -1 ? -1 : widgetOffset2ModelOffset(widgetOffset); if (fRange != null) { IRegion range= fRange.getRange(); modelOffset= TextViewer.this.findAndSelectInRange(modelOffset, findString, searchForward, caseSensitive, wholeWord, range.getOffset(), range.getLength(), regExSearch); } else { modelOffset= TextViewer.this.findAndSelect(modelOffset, findString, searchForward, caseSensitive, wholeWord, regExSearch); } widgetOffset= modelOffset == -1 ? -1 : modelOffset2WidgetOffset(modelOffset); return widgetOffset; }
@Override public int findAndSelect(int widgetOffset, String findString, boolean searchForward, boolean caseSensitive, boolean wholeWord, boolean regExSearch) { int modelOffset= widgetOffset == -1 ? -1 : widgetOffset2ModelOffset(widgetOffset); if (fRange != null) { IRegion range= fRange.getRange(); modelOffset= TextViewer.this.findAndSelectInRange(modelOffset, findString, searchForward, caseSensitive, wholeWord, range.getOffset(), range.getLength(), regExSearch); } else { modelOffset= TextViewer.this.findAndSelect(modelOffset, findString, searchForward, caseSensitive, wholeWord, regExSearch); } widgetOffset= modelOffset == -1 ? -1 : modelOffset2WidgetOffset(modelOffset); return widgetOffset; }
/** * Copies/cuts the marked region. * * @param delete <code>true</code> if the region should be deleted rather than copied. * @since 2.0 */ protected void copyMarkedRegion(boolean delete) { if (fTextWidget == null) return; if (fMarkPosition == null || fMarkPosition.isDeleted() || modelRange2WidgetRange(fMarkPosition) == null) return; int widgetMarkOffset= modelOffset2WidgetOffset(fMarkPosition.offset); Point selection= fTextWidget.getSelection(); if (selection.x <= widgetMarkOffset) fTextWidget.setSelection(selection.x, widgetMarkOffset); else fTextWidget.setSelection(widgetMarkOffset, selection.x); if (delete) { wrapCompoundChange(new Runnable() { @Override public void run() { fTextWidget.cut(); } }); } else { fTextWidget.copy(); fTextWidget.setSelection(selection.x); // restore old cursor position } }
/** * Copies/cuts the marked region. * * @param delete <code>true</code> if the region should be deleted rather than copied. * @since 2.0 */ protected void copyMarkedRegion(boolean delete) { if (fTextWidget == null) return; if (fMarkPosition == null || fMarkPosition.isDeleted() || modelRange2WidgetRange(fMarkPosition) == null) return; int widgetMarkOffset= modelOffset2WidgetOffset(fMarkPosition.offset); Point selection= fTextWidget.getSelection(); if (selection.x <= widgetMarkOffset) fTextWidget.setSelection(selection.x, widgetMarkOffset); else fTextWidget.setSelection(widgetMarkOffset, selection.x); if (delete) { wrapCompoundChange(() -> fTextWidget.cut()); } else { fTextWidget.copy(); fTextWidget.setSelection(selection.x); // restore old cursor position } }
markChanged(modelOffset2WidgetOffset(fMarkPosition.offset), 0);
markChanged(modelOffset2WidgetOffset(fMarkPosition.offset), 0);
int widgetCaret= modelOffset2WidgetOffset(documentCaret); if (widgetCaret == -1) {
int widgetCaret= modelOffset2WidgetOffset(documentCaret); if (widgetCaret == -1) {
int widgetOffset= modelOffset2WidgetOffset(modelOffset); if (widgetOffset == -1) return -1;
int widgetOffset= (startPosition == -1 ? startPosition : modelOffset2WidgetOffset(startPosition)); FindReplaceDocumentAdapter adapter= getFindReplaceDocumentAdapter(); IRegion matchRegion= adapter.find(widgetOffset, findString, forwardSearch, caseSensitive, wholeWord, regExSearch);
int widgetOffset= (startPosition == -1 ? startPosition : modelOffset2WidgetOffset(startPosition)); FindReplaceDocumentAdapter adapter= getFindReplaceDocumentAdapter(); IRegion matchRegion= adapter.find(widgetOffset, findString, forwardSearch, caseSensitive, wholeWord, regExSearch);
int widgetOffset= modelOffset2WidgetOffset(modelOffset); if (widgetOffset == -1) return -1;