How to use

revealRange

method

in

org.eclipse.jface.text.TextViewer

/**
 * Updates the viewport, trying to keep the
 * {@linkplain StyledText#getLinePixel(int) line pixel} of the caret line stable. If the
 * selection has been updated while in redraw(false) mode, the new selection is revealed.
 */
private void updateViewport() {
  if (fSelectionSet) {
    revealRange(fSelection.getOffset(), fSelection.getLength());
  } else if (fStableLine != null) {
    int stableLine;
    try {
      stableLine= fUpdaterDocument.getLineOfOffset(fStableLine.getOffset());
    } catch (BadLocationException x) {
      // ignore and return silently
      return;
    }
    int stableWidgetLine= getClosestWidgetLineForModelLine(stableLine);
    if (stableWidgetLine == -1)
      return;
    int linePixel= getTextWidget().getLinePixel(stableWidgetLine);
    int delta= fStablePixel - linePixel;
    int topPixel= getTextWidget().getTopPixel();
    getTextWidget().setTopPixel(topPixel - delta);
  }
}

/**
 * Updates the viewport, trying to keep the
 * {@linkplain StyledText#getLinePixel(int) line pixel} of the caret line stable. If the
 * selection has been updated while in redraw(false) mode, the new selection is revealed.
 */
private void updateViewport() {
  if (fSelectionSet) {
    revealRange(fSelection.getOffset(), fSelection.getLength());
  } else if (fStableLine != null) {
    int stableLine;
    try {
      stableLine= fUpdaterDocument.getLineOfOffset(fStableLine.getOffset());
    } catch (BadLocationException x) {
      // ignore and return silently
      return;
    }
    int stableWidgetLine= getClosestWidgetLineForModelLine(stableLine);
    if (stableWidgetLine == -1)
      return;
    int linePixel= getTextWidget().getLinePixel(stableWidgetLine);
    int delta= fStablePixel - linePixel;
    int topPixel= getTextWidget().getTopPixel();
    getTextWidget().setTopPixel(topPixel - delta);
  }
}

    revealRange(s.getOffset(), s.getLength());
} else if (selection instanceof ITextSelection) {
  ITextSelection s= (ITextSelection) selection;
  setSelectedRange(s.getOffset(), s.getLength());
  if (reveal)
    revealRange(s.getOffset(), s.getLength());

    revealRange(s.getOffset(), s.getLength());
} else if (selection instanceof ITextSelection) {
  ITextSelection s= (ITextSelection) selection;
  setSelectedRange(s.getOffset(), s.getLength());
  if (reveal)
    revealRange(s.getOffset(), s.getLength());