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