moveCaretPosition(newCaret,doElectricScroll ? ELECTRIC_SCROLL : NORMAL_SCROLL);
moveCaretPosition(newCaret,true);
	public void moveCaretPosition(int newCaret, boolean doElectricScroll)	{		moveCaretPosition(newCaret,doElectricScroll ? ELECTRIC_SCROLL			: NORMAL_SCROLL);	} //}}}