gc.setFont(new Font(oldFont.getName(), pinNameFontHeight, oldFont.getStyle()));
for (int i = 0; i < inputPinNames.size(); i++)
{
String pinName = inputPinNames.get(i);
textExtent = gc.textExtent(pinName);
gc.setFont(new Font(oldFont.getName(), pinNameFontHeight, oldFont.getStyle()));
for (int i = 0; i < inputPinNames.size(); i++)
{
String pinName = inputPinNames.get(i);
textExtent = gc.textExtent(pinName);