@Override public void setRangeIndication(int start, int length, boolean moveCursor) { if (moveCursor) { setSelectedRange(start, 0); revealRange(start, length); } if (fRangeIndicator != null && fVisualAnnotationModel instanceof IAnnotationModelExtension) { IAnnotationModelExtension extension= (IAnnotationModelExtension) fVisualAnnotationModel; extension.modifyAnnotationPosition(fRangeIndicator, new Position(start, length)); } }
@Override public void setRangeIndication(int start, int length, boolean moveCursor) { if (moveCursor) { setSelectedRange(start, 0); revealRange(start, length); } if (fRangeIndicator != null && fVisualAnnotationModel instanceof IAnnotationModelExtension) { IAnnotationModelExtension extension= (IAnnotationModelExtension) fVisualAnnotationModel; extension.modifyAnnotationPosition(fRangeIndicator, new Position(start, length)); } }
private static void reveal(MergeSourceViewer v, Position p) { if (v != null && p != null) { StyledText st= v.getSourceViewer().getTextWidget(); if (st != null) { Rectangle r= st.getClientArea(); if (!r.isEmpty()) // workaround for #7320: Next diff scrolls when going into current diff v.getSourceViewer().revealRange(p.offset, p.length); } } }
private void handlePropertySelection() { Object selection = fPropertiesViewer.getStructuredSelection().getFirstElement(); if (selection instanceof ModelChangeElement && fSourceViewer.getDocument() != null) { ModelChangeElement element = (ModelChangeElement) selection; int offset = element.getOffset(); int length = element.getLength(); fSourceViewer.setSelectedRange(offset, length); fSourceViewer.revealRange(offset, length); } }
private void updateSourceView(IStructuredSelection selection) { NLSSubstitution first= (NLSSubstitution) selection.getFirstElement(); if (first != null) { Region region= first.getNLSElement().getPosition(); fSourceViewer.setSelectedRange(region.getOffset(), region.getLength()); fSourceViewer.revealRange(region.getOffset(), region.getLength()); } }
private void updateSourceView(IStructuredSelection selection) { NLSSubstitution first= (NLSSubstitution) selection.getFirstElement(); if (first != null) { Region region= first.getNLSElement().getPosition(); fSourceViewer.setSelectedRange(region.getOffset(), region.getLength()); fSourceViewer.revealRange(region.getOffset(), region.getLength()); } }
private void updateSourceView(IStructuredSelection selection) { NLSSubstitution first= (NLSSubstitution) selection.getFirstElement(); if (first != null) { Region region= first.getNLSElement().getPosition(); fSourceViewer.setSelectedRange(region.getOffset(), region.getLength()); fSourceViewer.revealRange(region.getOffset(), region.getLength()); } }
/** * Sets the input of the source viewer to the given document and reveals the * region determined by the given parameter region. * * @param document the document to present * @param region the region to reveal. */ protected void setInput(IDocument document, IRegion region) { Control ctrl= getControl(); if (ctrl != null && ctrl.isDisposed()) ctrl= null; try { if (ctrl != null) ctrl.setRedraw(false); fSourceViewer.setInput(document); if (region != null && document != null) { int offset= region.getOffset(); int length= region.getLength(); if (offset >= 0 && length >= 0) { fSourceViewer.setSelectedRange(offset, length); fSourceViewer.revealRange(offset, length); } } } finally { if (ctrl != null) ctrl.setRedraw(true); } }
private void selectAndReveal(int selectionStart, int selectionLength, int revealStart, int revealLength) { ISelection selection = getSelectionProvider().getSelection(); if (selection instanceof ITextSelection) { ITextSelection textSelection = (ITextSelection) selection; if (textSelection.getOffset() != 0 || textSelection.getLength() != 0) markInNavigationHistory(); } StyledText widget= MergeSourceViewer.this.getSourceViewer().getTextWidget(); widget.setRedraw(false); { adjustHighlightRange(revealStart, revealLength); MergeSourceViewer.this.getSourceViewer().revealRange(revealStart, revealLength); MergeSourceViewer.this.getSourceViewer().setSelectedRange(selectionStart, selectionLength); markInNavigationHistory(); } widget.setRedraw(true); }