99100101102103104105106107108109
} ); } else { browser.setUrl( part.url() ); attachPartListener ( new FilteredListener<ContentEvent>() {
108109110111112113114115116117118
new FilteredListener<ContentEvent>() { @Override protected void handleTypedEvent( final ContentEvent event ) { browser.setUrl( part.url() ); } } ); } }