wx Classes: accommodate wider wx.SpinCtrl arrows in some GTK themes