* modules/gui/wxwindows/*: misc small improvements and fixes.