|
When and how is the text size of pins
determined?
I have edited a symbol and just noticed that the
new pins have different size text for pin numbers than the previous
pins.
I don't see any way to change the text size
now.
I have this sinking feeling that I have to redraw
all the pins.
Is there a better way?
Thanks much,
Bert Douglas
|