Each time a menu is enabled and disabled the buttons on that menu are enabled and disabled to ensure that they are in the normal (unpressed) state when they are re-enabled.
This fix seems to sort out the issue that the buttons stay depressed when a menu is re-enabled MOST of the time. However, there are still sometimes buttons that are still pressed!
Each time a menu is enabled and disabled the buttons on that menu are enabled and disabled to ensure that they are in the normal (unpressed) state when they are re-enabled.