140 self.__initShortcutsOnly = initShortcutsOnly |
140 self.__initShortcutsOnly = initShortcutsOnly |
141 self.setWindowIcon(UI.PixmapCache.getIcon("ericWeb.png")) |
141 self.setWindowIcon(UI.PixmapCache.getIcon("ericWeb.png")) |
142 |
142 |
143 self.__mHistory = [] |
143 self.__mHistory = [] |
144 self.__lastConfigurationPageName = "" |
144 self.__lastConfigurationPageName = "" |
|
145 self.__lastActiveWindow = None |
145 |
146 |
146 WebBrowserWindow._isPrivate = private |
147 WebBrowserWindow._isPrivate = private |
147 |
148 |
148 self.__eventMouseButtons = Qt.NoButton |
149 self.__eventMouseButtons = Qt.NoButton |
149 self.__eventKeyboardModifiers = Qt.NoModifier |
150 self.__eventKeyboardModifiers = Qt.NoModifier |
374 if WebBrowserWindow.useQtHelp: |
375 if WebBrowserWindow.useQtHelp: |
375 QTimer.singleShot(0, self.__lookForNewDocumentation) |
376 QTimer.singleShot(0, self.__lookForNewDocumentation) |
376 if self.__searchWord is not None: |
377 if self.__searchWord is not None: |
377 QTimer.singleShot(0, self.__searchForWord) |
378 QTimer.singleShot(0, self.__searchForWord) |
378 |
379 |
379 self.__lastActiveWindow = None |
|
380 e5App().focusChanged.connect(self.__appFocusChanged) |
380 e5App().focusChanged.connect(self.__appFocusChanged) |
381 |
381 |
382 QTimer.singleShot(0, syncMgr.loadSettings) |
382 QTimer.singleShot(0, syncMgr.loadSettings) |
383 |
383 |
384 def __del__(self): |
384 def __del__(self): |