we can avoid needing this event with the changes I described in Menu.cpp