private void paintLine(int line, GC gc, int width, Color deletionColor) {
int widgetLine= JFaceTextUtil.modelLineToWidgetLine(fViewer, line);
if (widgetLine == -1)
return;
ILineDiffInfo info= getDiffInfo(line);
if (info != null) {
int y= fWidget.getLinePixel(widgetLine);
int lineHeight= fWidget.getLineHeight(fWidget.getOffsetAtLine(widgetLine));
// draw background color if special
if (hasSpecialColor(info)) {
gc.setBackground(getColor(info));
gc.fillRectangle(0, y, width, lineHeight);
}
/* Deletion Indicator: Simply a horizontal line */
int delBefore= info.getRemovedLinesAbove();
int delBelow= info.getRemovedLinesBelow();
if (delBefore > 0 || delBelow > 0) {
gc.setForeground(deletionColor);
if (delBefore > 0)
gc.drawLine(0, y, width, y);
if (delBelow > 0)