* HTML_widget.button: Generalize to multistate button.
* HTML_widget.show_or_hide : Use it.