articleList.setCellRenderer(new ArticleCellRenderer());
articleList.addListSelectionListener(new ListSelectionListener() {
public void valueChanged(ListSelectionEvent e) {
if(e.getValueIsAdjusting()) return;
Article a = (Article) articleList.getSelectedValue();
openArticle(a);
}});
articleList.addMouseListener(new MouseAdapter() {
public void mousePressed(MouseEvent e) {
if(SwingUtilities.isRightMouseButton(e)) {