eric6/UI/UserInterface.py

changeset 7038
3bd9825cf895
parent 7008
e1b80fb11cc7
child 7051
a6dbc7c847cb
child 7054
fb84d8489bc1
child 7072
66ef92f769bf
equal deleted inserted replaced
7037:4560e7a43588 7038:3bd9825cf895
5936 5936
5937 def __webBrowserFinished(self): 5937 def __webBrowserFinished(self):
5938 """ 5938 """
5939 Private slot handling the end of the external web browser process. 5939 Private slot handling the end of the external web browser process.
5940 """ 5940 """
5941 self.__webBrowserProcess.deleteLater() 5941 self.__webBrowserProcess and self.__webBrowserProcess.deleteLater()
5942 5942
5943 self.__webBrowserProcess = None 5943 self.__webBrowserProcess = None
5944 self.__webBrowserClient = None 5944 self.__webBrowserClient = None
5945 5945
5946 def __webBrowserShutdown(self): 5946 def __webBrowserShutdown(self):

eric ide

mercurial