fixed selection bug in ListView (the editor was not updated with the selected items); changed rendering of selected files (now using steelblue as background, and half triangle to indicate clearly which item is selected)