if (ev.getValueIsAdjusting() == false) {
updateSelections();
}
}
});
linesList.addMouseListener(new LinesMouseAdapter(mainWindow));
scrollableList = new JScrollPane(linesList);
Dimension dim = new Dimension(320, 200);
scrollableList.setSize(dim);
scrollableList.setPreferredSize(dim);