The menu bar does not recalculate which items are enabled every
time you look at a menu. This is because the X toolkit requires the
whole tree of menus in advance. To force recalculation of the menu
bar, call `force-mode-line-update’ (see *note Mode Line Format::).
I should probably also do the same.