id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc	blockedby	blocking	branch_state	votes
1556	editor search: button [ Find all ]	dborca	andrew_b	"A nice addition would be ""set bookmarks"" option in Editor Search.  Especially with colored bookmarks (Ticket #1484)
"	enhancement	closed	major	4.7.0-pre3	mcedit	master	fixed		dborca