widget-push-button-prefix

widget-push-button-prefix is a variable defined in `wid-edit.el'.
Its value is
"["


Documentation:
String used as prefix for buttons.

You can customize this variable.