WebBrowser/JavaScript/StartPageJsObject.py

changeset 4917
682750cc7bd5
parent 4863
9d86824898e1
child 5389
9b1c800daff3
equal deleted inserted replaced
4915:8081031061a2 4917:682750cc7bd5
33 Public method to get a string for the search provider. 33 Public method to get a string for the search provider.
34 34
35 @return string for the search provider (string) 35 @return string for the search provider (string)
36 """ 36 """
37 return (self.tr("Search results provided by {0}") 37 return (self.tr("Search results provided by {0}")
38 .format(self.__external.page().view().mainWindow() 38 .format(self.__external.page().view().mainWindow()
39 .openSearchManager().currentEngineName())) 39 .openSearchManager().currentEngineName()))
40 40
41 @pyqtSlot(str, result=str) 41 @pyqtSlot(str, result=str)
42 def searchUrl(self, searchStr): 42 def searchUrl(self, searchStr):
43 """ 43 """
44 Public method to get the search URL for the given search term. 44 Public method to get the search URL for the given search term.

eric ide

mercurial