id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
1645	[PATCH] Preferences dialog does not resize properly	anonymous	framm	"how can i choose a smaller font size for josm at all or especially for the preferences - plugin dialog; because the window size is always to small to show all matter; especially the ok-cancel-button at the bottom (i think many versions ago there was a smaller font size standard); Display 17""-1152x864 "	defect	closed	minor		Core	tested	fixed	resize font size preferences