id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
612	Prevent loading the same file twice	adamk	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."	defect	closed	major		editor	0.47	fixed