Doc can be found in http://purl.org/tcl/home/man/iwidgets3.0/pushbutton.n.html
Category Command, a part of incr Widgets