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