14911492149314941495149614971498149915001501
if (articleListPanel == null) return; final IFeedDisplay articleList = articleListPanel.getFeedView(); if (UifUtilities.isEDT()) { articleList.repaintHighlights(); } else { SwingUtilities.invokeLater(new Runnable() { public void run()
14981499150015011502150315041505150615071508
{ SwingUtilities.invokeLater(new Runnable() { public void run() { articleList.repaintHighlights(); } }); } }