int redrawTop = getLinePixel(startLine) + topMargin; int redrawBottom = getLinePixel(startLine + lineCount) + topMargin;
int redrawTop = getLinePixel(startLine); int redrawBottom = getLinePixel(startLine + lineCount);
public void setLineBackground(int startLine, int lineCount, Color background) {	checkWidget();		// this API can not be used if the client is providing the line background	if (userLineBackground) {		return;	}	if (startLine < 0 || startLine + lineCount > content.getLineCount()) {		SWT.error(SWT.ERROR_INVALID_ARGUMENT);	}	defaultLineStyler.setLineBackground(startLine, lineCount, background);	// do nothing if redraw range is completely invisible		int partialBottomIndex = getPartialBottomIndex();	if (startLine > partialBottomIndex || startLine + lineCount - 1 < topIndex) {		return;	}	// only redraw visible lines	if (startLine < topIndex) {		lineCount -= topIndex - startLine;		startLine = topIndex;	}	if (startLine + lineCount - 1 > partialBottomIndex) {		lineCount = partialBottomIndex - startLine + 1;	}	startLine -= topIndex;	int redrawTop = getLinePixel(startLine) + topMargin;	int redrawBottom = getLinePixel(startLine + lineCount) + topMargin;	int redrawWidth = getClientArea().width - leftMargin - rightMargin; 	super.redraw(leftMargin, redrawTop, redrawWidth, redrawBottom - redrawTop, true);}