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