mainWindow.js: Trash the file, don't delete
multiple files: improve the appearance of the buttons according to Jakub's mockups