942943944945946947948949950951952
{ remove(component); IArticleDisplay display = ((IArticleDisplay)component); IArticle article = display.getArticle(); article.removeListener(display.getArticleListener()); } } updateNoContentPanel(); // When page changes, we scroll to the top