More stuff related to WXwidgets.