workaround for an extra EVT_TEXT on wxGTK when selected text is

replaced causing an exception


git-svn-id: https://svn.wxwidgets.org/svn/wx/wxWidgets/branches/WX_2_4_BRANCH@19149 c3d73ce0-8a6f-49c7-b76d-6d57e0e08775

wxPython/wxPython/lib/intctrl.py

@@ -720,7 +720,10 @@ class wxIntCtrl(wxTextCtrl):
         Conversion function used in getting the value of the control.
         """
         if value == '':
-            return None
+            if not self.IsNoneAllowed():
+                return 0
+            else:
+                return None
         else:
             try:
                 return int( value )