* modules/gui/wxwindows/*: a whole bunch of bug-fixes spotted by running the debug build of wxWindows.