if (fSourceViewer instanceof ITextViewerExtension5) {
ITextViewerExtension5 extension= (ITextViewerExtension5) fSourceViewer;
StyledText textWidget= fSourceViewer.getTextWidget();
int topIndex= textWidget.getTopIndex();
int newTopIndex= Math.max(0, topIndex + fScrollIncrement);
fSourceViewer.setTopIndex(extension.widgetLine2ModelLine(newTopIndex));
} else {
int topIndex= fSourceViewer.getTopIndex();
int newTopIndex= Math.max(0, topIndex + fScrollIncrement);
fSourceViewer.setTopIndex(newTopIndex);
}