#6 Refresh does not work after closing second document

[Moritz Petersen]

After closing a second document, the automatic refresh does
not work -> that depends on the FileListener: if a file is
opened twice, the listener is removed, regardless of other
open windows.