WebBrowser/WebBrowserWindow.py

changeset 4993
ebb8eaa326ba
parent 4990
2bca10fcfe80
child 5001
08eaee907686
equal deleted inserted replaced
4990:2bca10fcfe80 4993:ebb8eaa326ba
363 QTimer.singleShot(0, self.__lookForNewDocumentation) 363 QTimer.singleShot(0, self.__lookForNewDocumentation)
364 if self.__searchWord is not None: 364 if self.__searchWord is not None:
365 QTimer.singleShot(0, self.__searchForWord) 365 QTimer.singleShot(0, self.__searchForWord)
366 366
367 self.__lastActiveWindow = None 367 self.__lastActiveWindow = None
368 e5App().focusChanged[QWidget, QWidget].connect( 368 e5App().focusChanged.connect(self.__appFocusChanged)
369 self.__appFocusChanged)
370 369
371 QTimer.singleShot(0, syncMgr.loadSettings) 370 QTimer.singleShot(0, syncMgr.loadSettings)
372 371
373 def __del__(self): 372 def __del__(self):
374 """ 373 """

eric ide

mercurial