eric6/UI/UserInterface.py

branch
maintenance
changeset 7051
a6dbc7c847cb
parent 7035
d2036d7f5ef6
parent 7038
3bd9825cf895
child 7117
4038dc8c58c9
equal deleted inserted replaced
7036:ee0119c66068 7051:a6dbc7c847cb
5935 5935
5936 def __webBrowserFinished(self): 5936 def __webBrowserFinished(self):
5937 """ 5937 """
5938 Private slot handling the end of the external web browser process. 5938 Private slot handling the end of the external web browser process.
5939 """ 5939 """
5940 self.__webBrowserProcess.deleteLater() 5940 self.__webBrowserProcess and self.__webBrowserProcess.deleteLater()
5941 5941
5942 self.__webBrowserProcess = None 5942 self.__webBrowserProcess = None
5943 self.__webBrowserClient = None 5943 self.__webBrowserClient = None
5944 5944
5945 def __webBrowserShutdown(self): 5945 def __webBrowserShutdown(self):

eric ide

mercurial