I'm currently thinking of "selectOnly", but there may be better options.
By the way, comments on this are welcome. Is this a feature that is worth adding to PushButton, or would it be better implemented via a custom subclass? Is this something that we think developers are likely to want to do often? I'm leaning towards "yes", but I'd like to know what others think.
G
