id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
7238	object filter doesn't hide objects completely	malenki	team	"When hiding certain objects in Josm with the filter tool (Alt-Shift-R), objects still get marked e.g. with Ctrl-a or matching search.[[BR]]
Happened to realize this when  I worked with the license change plugin: Even completely hidden ""bad"" data gets a red overlay."	defect	closed	normal		Core	latest	duplicate	core, filter, license