-
Cosimo Cecchi authored
Currently we always reload the menu from scratch and reset the menu button; the intent of the code here is to modify the menu in-place.
be0f488a
Currently we always reload the menu from scratch and reset the menu button; the intent of the code here is to modify the menu in-place.