ui/autotypesetbutton