id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
3355	OMEdit automated crash report	Francesco Casella	Adeel Asghar	"A colleague of mine reports that he basically cannot use OMEdit to do any serious work because the GUI crashes too often to be usable. 

Unfortunately, this kind of problem is not easily reproduced due to its erratic nature. On the other hand, it is absolutely essential to improve the robustness of the tool to encourage its usage for serious projects.

I would recommend that we include in OMEdit some facilities for post-mortem debugging and automatic reporting, as other programs do, e.g. Mozilla Thunderbird and Firefox. I guess this could help a lot resolving issues that would otherwise remain unreported forever."	enhancement	closed	high	1.9.3	OMEdit	trunk	worksforme		marco.lovera@…