116 self.initShortcutsOnly = initShortcutsOnly |
116 self.initShortcutsOnly = initShortcutsOnly |
117 self.setWindowIcon(UI.PixmapCache.getIcon("ericWeb.png")) |
117 self.setWindowIcon(UI.PixmapCache.getIcon("ericWeb.png")) |
118 |
118 |
119 self.mHistory = [] |
119 self.mHistory = [] |
120 self.__lastConfigurationPageName = "" |
120 self.__lastConfigurationPageName = "" |
|
121 self.__lastActiveWindow = None |
121 |
122 |
122 self.__eventMouseButtons = Qt.NoButton |
123 self.__eventMouseButtons = Qt.NoButton |
123 self.__eventKeyboardModifiers = Qt.NoModifier |
124 self.__eventKeyboardModifiers = Qt.NoModifier |
124 |
125 |
125 if self.initShortcutsOnly: |
126 if self.initShortcutsOnly: |
294 if self.useQtHelp: |
295 if self.useQtHelp: |
295 QTimer.singleShot(0, self.__lookForNewDocumentation) |
296 QTimer.singleShot(0, self.__lookForNewDocumentation) |
296 if self.__searchWord is not None: |
297 if self.__searchWord is not None: |
297 QTimer.singleShot(0, self.__searchForWord) |
298 QTimer.singleShot(0, self.__searchForWord) |
298 |
299 |
299 self.__lastActiveWindow = None |
|
300 e5App().focusChanged.connect(self.__appFocusChanged) |
300 e5App().focusChanged.connect(self.__appFocusChanged) |
301 |
301 |
302 QTimer.singleShot(0, syncMgr.loadSettings) |
302 QTimer.singleShot(0, syncMgr.loadSettings) |
303 |
303 |
304 def __del__(self): |
304 def __del__(self): |