#3 promt for modified files on exit

[Philipp]

The program seems to ignore a file as 'modified' upon closing - and does not prompt us to save it before closing - if the file
has been emptied: that is, if the user deletes all characters and leaves it as a blank text file.