@Override
public void onHTMLPreviewCompleted(HTMLPreviewCompletedEvent event)
{
previewRunning_ = false;
HTMLPreviewResult result = event.getResult();
if (result.getSucceeded())
{
lastSuccessfulPreview_ = result;
view_.closeProgress();
view_.showPreview(
server_.getApplicationURL(result.getPreviewURL()),
result.getHtmlFile(),
result.getEnableSaveAs(),
isMarkdownFile(result.getSourceFile()) &&
session_.getSessionInfo().getAllowRpubsPublish(),
result.getEnableRefresh(),
lastPreviewOutput_.length() > 0);
isPublished_ = result.getPreviouslyPublished();
if (isPublished_)
view_.setPublishButtonLabel("Republish");
}
else
{