@Override public void lineGetBackground(LineBackgroundEvent event) { /* Don't use cached line information because of patched redrawing events. */ if (fTextWidget != null) { int offset= widgetOffset2ModelOffset(event.lineOffset); if (fPosition.includes(offset)) event.lineBackground= fHighlightColor; } }
@Override public void lineGetBackground(LineBackgroundEvent event) { /* Don't use cached line information because of patched redrawing events. */ if (fTextWidget != null) { int offset= widgetOffset2ModelOffset(event.lineOffset); if (fPosition.includes(offset)) event.lineBackground= fHighlightColor; } }
@Override public int getTopIndexStartOffset() { if (fTextWidget != null) { int top= fTextWidget.getTopIndex(); try { top= getVisibleDocument().getLineOffset(top); return widgetOffset2ModelOffset(top); } catch (BadLocationException ex) { if (TRACE_ERRORS) System.out.println(JFaceTextMessages.getString("TextViewer.error.bad_location.getTopIndexStartOffset")); //$NON-NLS-1$ } } return -1; }
@Override public int getTopIndexStartOffset() { if (fTextWidget != null) { int top= fTextWidget.getTopIndex(); try { top= getVisibleDocument().getLineOffset(top); return widgetOffset2ModelOffset(top); } catch (BadLocationException ex) { if (TRACE_ERRORS) System.out.println(JFaceTextMessages.getString("TextViewer.error.bad_location.getTopIndexStartOffset")); //$NON-NLS-1$ } } return -1; }
@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; }
/** * Implements the contract of {@link ITextViewerExtension5#widgetRange2ModelRange(IRegion)}. * * @param widgetRange the widget range * @return the corresponding model range or <code>null</code> * @since 2.1 */ public IRegion widgetRange2ModelRange(IRegion widgetRange) { if (fInformationMapping == null) return widgetRange; try { if (widgetRange.getLength() < 0) { Region reveresed= new Region(widgetRange.getOffset() + widgetRange.getLength(), -widgetRange.getLength()); IRegion result= fInformationMapping.toOriginRegion(reveresed); return new Region(result.getOffset() + result.getLength(), -result.getLength()); } return fInformationMapping.toOriginRegion(widgetRange); } catch (BadLocationException x) { int modelOffset= widgetOffset2ModelOffset(widgetRange.getOffset()); if (modelOffset > -1) { int modelEndOffset= widgetOffset2ModelOffset(widgetRange.getOffset() + widgetRange.getLength()); if (modelEndOffset > -1) return new Region(modelOffset, modelEndOffset - modelOffset); } } return null; }
/** * Implements the contract of {@link ITextViewerExtension5#widgetRange2ModelRange(IRegion)}. * * @param widgetRange the widget range * @return the corresponding model range or <code>null</code> * @since 2.1 */ public IRegion widgetRange2ModelRange(IRegion widgetRange) { if (fInformationMapping == null) return widgetRange; try { if (widgetRange.getLength() < 0) { Region reveresed= new Region(widgetRange.getOffset() + widgetRange.getLength(), -widgetRange.getLength()); IRegion result= fInformationMapping.toOriginRegion(reveresed); return new Region(result.getOffset() + result.getLength(), -result.getLength()); } return fInformationMapping.toOriginRegion(widgetRange); } catch (BadLocationException x) { int modelOffset= widgetOffset2ModelOffset(widgetRange.getOffset()); if (modelOffset > -1) { int modelEndOffset= widgetOffset2ModelOffset(widgetRange.getOffset() + widgetRange.getLength()); if (modelEndOffset > -1) return new Region(modelOffset, modelEndOffset - modelOffset); } } return null; }
selectionChanged(widgetPos, length); } else { setSelectedRange(widgetOffset2ModelOffset(widgetPos), length); if (redraws) setRedraw(true); return widgetOffset2ModelOffset(widgetPos);
selectionChanged(widgetPos, length); } else { setSelectedRange(widgetOffset2ModelOffset(widgetPos), length); if (redraws) setRedraw(true); return widgetOffset2ModelOffset(widgetPos);
length= matchRegion.getLength(); int modelPos= widgetPos == -1 ? -1 : widgetOffset2ModelOffset(widgetPos);
length= matchRegion.getLength(); int modelPos= widgetPos == -1 ? -1 : widgetOffset2ModelOffset(widgetPos);