tty_menu_destroy 3476 src/term.c     	  tty_menu_destroy (menu->submenu[i]);
tty_menu_destroy 3525 src/term.c       tty_menu_destroy (data->menu);
tty_menu_destroy 3678 src/term.c     	      tty_menu_destroy (menu);
tty_menu_destroy 3738 src/term.c     	      tty_menu_destroy (menu);