id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc	super_ticket	minutes_worked
804	Click and hover mouse should allow rename	sthiel	dave	"Follow-up on #803

After clicking on a name in the main window, if the mouse hovers on the name for 300ms, the name should become editable (as in #803)"	task	closed	minor	milestone14	GUI		fixed				35