// Return the Palm position for a wxMenu which is sometimes different from
// the wxWidgets position.
int PalmPositionForWxMenu(wxMenu *menu, int wxpos);
// Return the Palm position for a wxMenu which is sometimes different from
// the wxWidgets position.
int PalmPositionForWxMenu(wxMenu *menu, int wxpos);