// part of public API and may be modified or even disappear in the future!
#if defined(__WXMOTIF__) || defined(__WXGTK__) || defined(__WXX11__)
// part of public API and may be modified or even disappear in the future!
#if defined(__WXMOTIF__) || defined(__WXGTK__) || defined(__WXX11__)