// remember target file (for invoking editor)
targetFile_ = FileSystemItem.createFile(params.getTargetFile());
// slide navigation (may be null)
slideNavigation_ = params.getResult().getSlideNavigation();
handlerManager_.fireEvent(new SlideNavigationChangedEvent(slideNavigation_));
slideChangeMonitor_.cancel();
// file label
if (params.isShinyDocument())
{