// Only call from inside the UI-thread.
  private void moveCaretTo(int index) {
    TextConsoleViewer consoleViewer = page.getViewer();
    StyledText styledText = consoleViewer.getTextWidget();

    styledText.setCaretOffset(index);
    consoleViewer.revealRange(index, 0);
  }
Example #2
0
  @Override
  public void setDocument(final IDocument document) {
    final IDocument oldDocument = getDocument();
    if (oldDocument != null) {
      oldDocument.removeDocumentListener(getDocumentListener());
    }

    super.setDocument(document);

    if (document != null) {
      document.addDocumentListener(getDocumentListener());
    }
  }