wxColour& foregroundColour);
extern void wxDoChangeBackgroundColour(WXWidget widget,
wxColour& backgroundColour,
wxColour& foregroundColour);
extern void wxDoChangeBackgroundColour(WXWidget widget,
wxColour& backgroundColour,
XmString wxStringToXmString( const wxString& string );
XmString wxStringToXmString( const char* string );
XmString wxStringToXmString( const wxString& string );
XmString wxStringToXmString( const char* string );