interactive       984 src/usermenu.c     gboolean interactive = TRUE;
interactive      1075 src/usermenu.c                     interactive = FALSE;
interactive      1175 src/usermenu.c             execute_menu_command (edit_widget, entries[selected], interactive);