|
@@ -1202,7 +1202,7 @@ class SearchModuleWidget(wx.Panel):
|
|
wx.Panel.__init__(self, parent=parent, id=wx.ID_ANY, **kwargs)
|
|
wx.Panel.__init__(self, parent=parent, id=wx.ID_ANY, **kwargs)
|
|
|
|
|
|
# self._box = wx.StaticBox(parent = self, id = wx.ID_ANY,
|
|
# self._box = wx.StaticBox(parent = self, id = wx.ID_ANY,
|
|
- # label = " %s " % _("Find module - (press Enter for next match)"))
|
|
|
|
|
|
+ # label = " %s " % _("Find tool - (press Enter for next match)"))
|
|
|
|
|
|
if sys.platform == "win32":
|
|
if sys.platform == "win32":
|
|
self._search = TextCtrl(
|
|
self._search = TextCtrl(
|
|
@@ -1214,7 +1214,7 @@ class SearchModuleWidget(wx.Panel):
|
|
)
|
|
)
|
|
self._search.SetDescriptiveText(_("Fulltext search"))
|
|
self._search.SetDescriptiveText(_("Fulltext search"))
|
|
self._search.SetToolTip(
|
|
self._search.SetToolTip(
|
|
- _("Type to search in all modules. Press Enter for next match.")
|
|
|
|
|
|
+ _("Type to search in all tools. Press Enter for next match.")
|
|
)
|
|
)
|
|
|
|
|
|
self._search.Bind(wx.EVT_TEXT, self.OnSearchModule)
|
|
self._search.Bind(wx.EVT_TEXT, self.OnSearchModule)
|
|
@@ -1222,7 +1222,7 @@ class SearchModuleWidget(wx.Panel):
|
|
|
|
|
|
if self._showTip:
|
|
if self._showTip:
|
|
self._searchTip = StaticWrapText(
|
|
self._searchTip = StaticWrapText(
|
|
- parent=self, id=wx.ID_ANY, label="Choose a module", size=(-1, 35)
|
|
|
|
|
|
+ parent=self, id=wx.ID_ANY, label="Choose a tool", size=(-1, 35)
|
|
)
|
|
)
|
|
|
|
|
|
if self._showChoice:
|
|
if self._showChoice:
|
|
@@ -1287,7 +1287,7 @@ class SearchModuleWidget(wx.Panel):
|
|
self._searchChoice.SetSelection(0)
|
|
self._searchChoice.SetSelection(0)
|
|
self.OnSelectModule()
|
|
self.OnSelectModule()
|
|
|
|
|
|
- label = _("%d modules match") % len(commands)
|
|
|
|
|
|
+ label = _("%d tools match") % len(commands)
|
|
if self._showTip:
|
|
if self._showTip:
|
|
self._searchTip.SetLabel(label)
|
|
self._searchTip.SetLabel(label)
|
|
|
|
|
|
@@ -1330,7 +1330,7 @@ class SearchModuleWidget(wx.Panel):
|
|
"""Reset widget"""
|
|
"""Reset widget"""
|
|
self._search.SetValue("")
|
|
self._search.SetValue("")
|
|
if self._showTip:
|
|
if self._showTip:
|
|
- self._searchTip.SetLabel("Choose a module")
|
|
|
|
|
|
+ self._searchTip.SetLabel("Choose a tool")
|
|
|
|
|
|
|
|
|
|
class ManageSettingsWidget(wx.Panel):
|
|
class ManageSettingsWidget(wx.Panel):
|