file is not refreshed when loading same filename
Closed this issue · 0 comments
jstaerk commented
When a file is loaded, then changed externally, and loaded again, the old, already displayed version will show twice
Closed this issue · 0 comments
When a file is loaded, then changed externally, and loaded again, the old, already displayed version will show twice