After closing the text editor, the file list is reloaded

To make sure that the file entry in the file list matches the latest
version of the file, the file list is refreshed upon closing of the
editor.

Fixed #1404