id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
1577	add a preference to set the font size for icon names	florian.schmitt@…	framm	"Hi, i think it would be fine to have a way to set the font size (maybe the font familiy, too) using a preference. This would mean to:

* add a preference, for example {{{font.iconname.size}}} holding a positive integer;

* modify [http://josm.openstreetmap.de/browser/trunk/src/org/openstreetmap/josm/data/osm/visitor/MapPaintVisitor.java MapPaintVisitor.java]: don't initialize the font on definition (line 48), move the initialization to {{{visitAll()}}} (line 318), for example with:

{{{
orderFont = new Font(
                ""Helvetica"",
                Font.PLAIN,
                Main.pref.getInteger(""font.iconname.size"", 8)
);
}}}

"	enhancement	closed	minor		Core	latest	fixed	font icon fontsize preference