update_menu_labels

Overview

Called when the pause menu is brought up, requested by the window manager.

You shouldn't have to use this as it is handled automatically with menuitems.