id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
5201	add a pref for the SELECTION_HISTORY_SIZE constant	Mathieu Arnold <josm@…>	team	Today I was doing some repetitive task where I needed to keep a pretty large selection handy, and the selection limite is at 10, so, I made up this so that it could be user definable via the new select.history-size pref.	enhancement	closed	normal		Core	latest	fixed