607608609610611612613614615616
public void processScrollEvent(ScrollEvent e_) { if (_scrollListeners != null) { for (Enumeration<ScrollListener> e = _scrollListeners.elements(); e.hasMoreElements(); ) { ScrollListener sl = (ScrollListener) e.nextElement(); sl.scroll(e_); } } }
611612613614615616617618619620
public void processScrollEvent( ScrollEvent e_ ) { if( _scrollListeners != null ) { for( Enumeration<ScrollListener> e = _scrollListeners.elements(); e.hasMoreElements(); ) { ScrollListener sl = e.nextElement(); sl.scroll( e_ ); } } }
341342343344345346347348349350