Make wxEVT_MENU_HIGHLIGHT generation when there is no highlighted item consistent across all the major ports: use wxID_NONE instead of wxID_ANY in wxGTK and send these events, which were previously not sent at all in this case, in wxOSX. See https://github.com/wxWidgets/wxWidgets/pull/1637