How to use

internalRevealRange

method

in

org.eclipse.jface.text.TextViewer

/**
 * First makes sure that the layout is not deferred (workaround for Platform UI bug 375576) and
 * then reveals the given range of the visible document and.
 * <p>
 * NOTE: Only {@link #revealRange(int, int)} needs to use this method. The other methods are
 * called at a time where the editor is already realized.
 * </p>
 * 
 * @param start the start offset of the range
 * @param end the end offset of the range
 * @since 3.8.1, but only used/effective in 4.x
 */
private void internalRevealRangeWithWorkaround(int start, int end) {
  // XXX: Workaround for https://bugs.eclipse.org/375576
  final Shell shell= fTextWidget.getShell(); // only the shell layout is deferred
  int d= 0;
  for (; shell.isLayoutDeferred(); d++)
    shell.setLayoutDeferred(false);
  try {
    internalRevealRange(start, end);
  } finally {
    for (; d > 0; d--)
      shell.setLayoutDeferred(true);
  }
}

/**
 * First makes sure that the layout is not deferred (workaround for Platform UI bug 375576) and
 * then reveals the given range of the visible document and.
 * <p>
 * NOTE: Only {@link #revealRange(int, int)} needs to use this method. The other methods are
 * called at a time where the editor is already realized.
 * </p>
 *
 * @param start the start offset of the range
 * @param end the end offset of the range
 * @since 3.8.1, but only used/effective in 4.x
 */
private void internalRevealRangeWithWorkaround(int start, int end) {
  // XXX: Workaround for https://bugs.eclipse.org/375576
  final Shell shell= fTextWidget.getShell(); // only the shell layout is deferred
  int d= 0;
  for (; shell.isLayoutDeferred(); d++)
    shell.setLayoutDeferred(false);
  try {
    internalRevealRange(start, end);
  } finally {
    for (; d > 0; d--)
      shell.setLayoutDeferred(true);
  }
}

  internalRevealRange(widgetPos, widgetPos + length);
  selectionChanged(widgetPos, length);
} else {

  internalRevealRange(widgetPos, widgetPos + length);
  selectionChanged(widgetPos, length);
} else {

  internalRevealRange(widgetPos, widgetPos + length);
  selectionChanged(widgetPos, length);
} else {

  internalRevealRange(widgetPos, widgetPos + length);
  selectionChanged(widgetPos, length);
} else {