eric6/UI/UserInterface.py

changeset 7456
f8a68f7dac23
parent 7360
9190402e4505
child 7503
b17672e6812d
child 7533
88261c96484b
equal deleted inserted replaced
7455:9d0852f0bb2c 7456:f8a68f7dac23
6087 6087
6088 def __webBrowserFinished(self): 6088 def __webBrowserFinished(self):
6089 """ 6089 """
6090 Private slot handling the end of the external web browser process. 6090 Private slot handling the end of the external web browser process.
6091 """ 6091 """
6092 self.__webBrowserProcess and self.__webBrowserProcess.deleteLater()
6093
6094 self.__webBrowserProcess = None 6092 self.__webBrowserProcess = None
6095 self.__webBrowserClient = None 6093 self.__webBrowserClient = None
6096 6094
6097 def __webBrowserShutdown(self): 6095 def __webBrowserShutdown(self):
6098 """ 6096 """

eric ide

mercurial