Symbol editor: commands push pin xxx

This feature in 6.99:

from the developers thread seems to now have an addition which allows all the pins in a symbol to be edited at once.
This is much easier than using the demonstrated selection table if all the pins need the same edit.