//----------------------------------------------------------------------
void wxPostEvent(wxEvtHandler *dest, wxEvent& event);
//----------------------------------------------------------------------
void wxPostEvent(wxEvtHandler *dest, wxEvent& event);