Rather than requiring all the versions of tgetcmd to know about
Cmdpushed, move it into do_tty. Cmdpushed is only set by search and
will always come back to do_tty.