Fix #524
Added feature to reopen modified files by Shift-clicking on a "Close not modified" icon.