eric6/PipInterface/PipPackagesWidget.py

changeset 8056
6e89221ff9dd
parent 7923
91e843545d9a
child 8085
f6db8b3ecea9
equal deleted inserted replaced
8055:52fdd41517f3 8056:6e89221ff9dd
626 626
627 def __search(self): 627 def __search(self):
628 """ 628 """
629 Private method to perform the search. 629 Private method to perform the search.
630 """ 630 """
631 # TODO: change search to use web scraping to get rid of XML-RPC
632 # see thonny for how to do it
631 self.searchResultList.clear() 633 self.searchResultList.clear()
632 self.searchInfoLabel.clear() 634 self.searchInfoLabel.clear()
633 635
634 self.searchButton.setEnabled(False) 636 self.searchButton.setEnabled(False)
635 637

eric ide

mercurial