@Override
    public void onBrowserEvent(Event event) {

        // Align the scrollbars with the content.
        if (Event.ONSCROLL == event.getTypeInt()) {
            maybeUpdateScrollbarPositions();
        }
        super.onBrowserEvent(event);
    }
@ Override public void onBrowserEvent ( Event event ) { if ( Event . ONSCROLL == event . getTypeInt ( ) ) { maybeUpdateScrollbarPositions ( ) ; } super . onBrowserEvent ( event ) ; }
@see com.google.gwt.user.client.ui.Widget#onBrowserEvent(com.google.gwt.user.client.Event)