id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
5430	OMEdit Documentation	anonymous	Adeel Asghar	"In the Setting section of the OMEdit documentation, it is mentioned that settings can be set through ""The Options Dialog"".
What about substituting ""Options"" with ""Tools|Options""?"	enhancement	closed	low	1.14.0	OMEdit		fixed