`(mouseleft)' on DO <ml> will execute the enclosed ML expression. The variant DOquit <ml> toggles via `(backspace)' with DO <ml> and attempts a safe quit of the object containing the button.
To display one of these buttons as a mnemonic string, use the `(c-s)' command on it, and fill in the text slot with the desired string. Emptying this string will revert the form. `(c-u){(tab)(return)}' in the empty text slot, or `(c-a)(c-d)' in the text slot empty or not, will make the string empty.
Various ways of executing ML commands are documented in docformlexecutioncmds.
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html