Fix reloading renamed file
Merge pull request #384 from gastropoda/reopen-after-rename

Fix reloading renamed file