returnValue = true;
	public boolean scrollTo(int line, int offset)	{		if(visibleLines == 0)		{			setFirstLine(line);			return true;		}		boolean returnValue = false;		if(line < firstLine + electricScroll)		{			setFirstLine(Math.max(0,line - electricScroll));			returnValue = true;		}		else if(line + electricScroll >= firstLine + visibleLines)		{			int newline = (line - visibleLines) + electricScroll + 1;			if(newline < 0)				newline = 0;			if(newline + visibleLines >= getLineCount())				newline = getLineCount() - visibleLines;			setFirstLine(newline);			returnValue = true;		}		int x = offsetToX(line,offset);		int width = painter.getFontMetrics().charWidth('w');		if(x < 0)		{			setHorizontalOffset(Math.min(0,horizontalOffset				- x + width));			returnValue = true;		}		else if(x >= painter.getSize().width)		{			setHorizontalOffset(0);			returnValue = true;		}		return returnValue;	}