file is not refreshed when loading same filename

[jstaerk]

When a file is loaded, then changed externally, and loaded again, the old, already displayed version will show twice