wxGUI/search: fix https://trac.osgeo.org/grass/ticket/1985

git-svn-id: https://svn.osgeo.org/grass/grass/trunk@56484 15284696-431f-4ddb-bdfa-cd5b030d7da7

gui/wxpython/gui_core/widgets.py

@@ -804,8 +804,12 @@ class SearchModuleWidget(wx.Panel):
         self._searchBy.SetSelection(0)
         self._searchBy.Bind(wx.EVT_CHOICE, self.OnSearchModule)
 
-        self._search = wx.SearchCtrl(parent = self, id = wx.ID_ANY,
-                                    size = (-1, 25), style = wx.TE_PROCESS_ENTER)
+        if sys.platform == 'win32':
+            ctrl = wx.TextCtrl
+        else:
+            ctrl = wx.SearchCtrl
+        self._search = ctrl(parent = self, id = wx.ID_ANY,
+                            size = (-1, 25), style = wx.TE_PROCESS_ENTER)
         self._search.Bind(wx.EVT_TEXT, self.OnSearchModule)
         self._search.Bind(wx.EVT_KEY_UP,  self.OnKeyUp)