+ gc.setFont(new Font(oldFont.getName(), pinNameFontHeight, oldFont.getStyle()));
+ for (int i = 0; i < inputSupermodelPins.size(); i++)
+ {
+ String pinName = inputSupermodelPins.get(i).name;
+ textExtent = gc.textExtent(pinName);
+ gc.drawText(pinName, posX + pinNameMargin, posY + i * pinDistance + (pinDistance - textExtent.y) / 2, true);
+ }
+ for (int i = 0; i < outputSupermodelPins.size(); i++)
+ {
+ String pinName = outputSupermodelPins.get(i).name;
+ textExtent = gc.textExtent(pinName);
+ gc.drawText(pinName, posX + width - textExtent.x - pinNameMargin, posY + i * pinDistance + (pinDistance - textExtent.y) / 2,
+ true);
+ }