Ticket #612 (closed defect: fixed)
Prevent loading the same file twice
|Reported by:||adamk||Owned by:||Sewi|
Whenever a file is being loaded, for any reason, the editor should ensure that it is not loaded twice.
Having two copies of a file in two editor tabs should be impossible to achieve.