currentArticleView.reloadArticle();
}
public void setArticleMode(int newMode)
{
ArticleView oldView = currentArticleView;
oldView.lockEdits(); // Disables store-for-undo
currentNode.getArticle().setArticleMode(newMode);
ensureCorrectArticleRenderMode();
currentArticleView.getComponent().repaint();
oldView.unlockEdits(); // Re-enables store-for-undo
}