gc.setFont(new Font(oldFont.getName(), pinNameFontHeight, oldFont.getStyle()));
for (String name : pinsUnmodifiable.keySet())
{
gc.setFont(new Font(oldFont.getName(), pinNameFontHeight, oldFont.getStyle()));
for (String name : pinsUnmodifiable.keySet())
{