617618619620621622623624625
} private void initPresentationNavigator(JavaScriptObject jsNavigator) { // record current slides SlideNavigation navigation = jsNavigator.cast(); handlerManager_.fireEvent( new SlideNavigationChangedEvent(navigation)); }