FontMetrics fm = getFontMetrics();
	protected void paintLineHighlight(Graphics gfx, int line, int y)	{		FontMetrics fm = getFontMetrics();		int height = fm.getHeight();		y += fm.getLeading() + fm.getMaxDescent();		int selectionStart = textArea.getSelectionStart();		int selectionEnd = textArea.getSelectionEnd();		if(selectionStart == selectionEnd)		{			if(lineHighlight)			{				gfx.setColor(lineHighlightColor);				gfx.fillRect(0,y,offImg.getWidth(this),height);			}		}		else		{			gfx.setColor(selectionColor);			int selectionStartLine = textArea.getSelectionStartLine();			int selectionEndLine = textArea.getSelectionEndLine();			int lineStart = textArea.getLineStartOffset(line);			int x1, x2;			if(selectionStartLine == selectionEndLine)			{				x1 = textArea.offsetToX(line,					selectionStart - lineStart);				x2 = textArea.offsetToX(line,					selectionEnd - lineStart);			}			else if(line == selectionStartLine)			{				x1 = textArea.offsetToX(line,					selectionStart - lineStart);				x2 = offImg.getWidth(this);			}			else if(line == selectionEndLine)			{				x1 = 0;				x2 = textArea.offsetToX(line,					selectionEnd - lineStart);			}			else			{				x1 = 0;				x2 = offImg.getWidth(this);			}			gfx.fillRect(x1,y,x2 - x1,height);		}	}