searchString = "Data types:\n"
+ e.getDescription().substring(1);
pos = content.indexOf(searchString);
}
final Rectangle r = pane.modelToView(pos);
System.out.println();
r.y += pane.getVisibleRect().height;
pane.scrollRectToVisible(r);
// pane.setCaretPosition(pos);
} catch (final Throwable t2) {