protected void doElectricScroll(Rectangle rect)
public void doElectricScroll(Rectangle rect)
	protected void doElectricScroll(Rectangle rect)	{		SwingUtilities.invokeLater(new SyntaxSafeScroller(rect));	}