App Menu now allows [OPTIONS] [FILES]. Fix quit_app_menu.