Comment 4 for bug 706552

I really like the change this patch brings. It makes the end of unconnected pins look the same as unconneted end of nets, which is what they are. This is nice, because I am less likely to miss an accidently non-connected pin.

Is there anything that blocks the application of the first patch to git-head?

I am not so sure about the second patch the one that makes postscript output also have little boxes on open pins. Symbols with large not connected pin numbers would look a bit cluttered. Since postscript goes into documentation, I'd prefer the standard look. That is, without any marker at all.

---<)kaimartin(>---