diff --git a/gui/wxpython/gui_core/widgets.py b/gui/wxpython/gui_core/widgets.py index 774b489ed27..3ced80291ce 100644 --- a/gui/wxpython/gui_core/widgets.py +++ b/gui/wxpython/gui_core/widgets.py @@ -1250,7 +1250,7 @@ def __init__(self, parent, model, showChoice=True, showTip=False, **kwargs): if self._showTip: self._searchTip = StaticWrapText( - parent=self, id=wx.ID_ANY, label="Choose a tool", size=(-1, 35) + parent=self, id=wx.ID_ANY, label="Choose a tool", size=(-1, 40) ) if self._showChoice: @@ -1315,9 +1315,9 @@ def OnSearchModule(self, event): self._searchChoice.SetSelection(0) self.OnSelectModule() - label = _("%d tools match") % len(commands) + label = _("{} tools matched").format(len(commands)) if self._showTip: - self._searchTip.SetLabel(label) + self._searchTip.SetLabel(self._searchTip.GetLabel() + " [{}]".format(label)) self.showNotification.emit(message=label)