Re: State "button" in Customize is not a button

[Richard M. Stallman]

    The State button in Customize is not a button but a pulldown list
    (menu). That is, it opens a menu; it does not effect an action. It
    should not look like the other buttons. A pulldown menu label
    ("button") often has a small triangle next to the text, to indicate
    that it is a pulldown menu.

I've seen those small triangles.  They are a pain in the neck to put
the mouse on.  We certainly won't do that.

I do not want to consider changing this now.