+void wxButtonCallback (Widget w, XtPointer clientData, XtPointer WXUNUSED(ptr))
+{
+ if (!wxGetWindowFromTable(w))
+ // Widget has been deleted!
+ return;
+
+ wxButton *item = (wxButton *) clientData;
+ wxCommandEvent event (wxEVT_COMMAND_BUTTON_CLICKED, item->GetId());
+ event.SetEventObject(item);
+ item->ProcessCommand (event);
+}
+
+void wxButton::ChangeFont(bool keepOriginalSize)