public void setSelectionColor(Color selectionColor)
public final void setSelectionColor(Color selectionColor)
	public void setSelectionColor(Color selectionColor)	{		this.selectionColor = selectionColor;		invalidateSelectedLines();	}