id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
3719	"OMEdit ""save as"" without function"	Dietmar Winkler	Adeel Asghar	"I've just renamed a package and I could not find a way to save that package under a new name from within OMEdit. ""Save as"" option is deactivated."	defect	closed	high	1.9.4	OMEdit	v1.9.4-dev-nightly	fixed