[PATCH 4/9] tui/menurt.c: simplify tx_destroymenu()