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