106 self.initShortcutsOnly = initShortcutsOnly |
106 self.initShortcutsOnly = initShortcutsOnly |
107 self.setWindowIcon(UI.PixmapCache.getIcon("eric.png")) |
107 self.setWindowIcon(UI.PixmapCache.getIcon("eric.png")) |
108 |
108 |
109 self.mHistory = [] |
109 self.mHistory = [] |
110 self.__lastConfigurationPageName = "" |
110 self.__lastConfigurationPageName = "" |
|
111 |
|
112 self.__eventMouseButtons = Qt.NoButton |
|
113 self.__eventKeyboardModifiers = Qt.NoModifier |
111 |
114 |
112 if self.initShortcutsOnly: |
115 if self.initShortcutsOnly: |
113 self.__initActions() |
116 self.__initActions() |
114 else: |
117 else: |
115 self.__helpEngine = \ |
118 self.__helpEngine = \ |
2538 codec = act.data() |
2541 codec = act.data() |
2539 if codec == "": |
2542 if codec == "": |
2540 QWebSettings.globalSettings().setDefaultTextEncoding("") |
2543 QWebSettings.globalSettings().setDefaultTextEncoding("") |
2541 else: |
2544 else: |
2542 QWebSettings.globalSettings().setDefaultTextEncoding(codec) |
2545 QWebSettings.globalSettings().setDefaultTextEncoding(codec) |
|
2546 |
|
2547 def eventMouseButtons(self): |
|
2548 """ |
|
2549 Public method to get the last recorded mouse buttons. |
|
2550 |
|
2551 @return mouse buttons (Qt.MouseButtons) |
|
2552 """ |
|
2553 return self.__eventMouseButtons |
|
2554 |
|
2555 def eventKeyboardModifiers(self): |
|
2556 """ |
|
2557 Public method to get the last recorded keyboard modifiers. |
|
2558 |
|
2559 @return keyboard modifiers (Qt.KeyboardModifiers) |
|
2560 """ |
|
2561 return self.__eventKeyboardModifiers |
|
2562 |
|
2563 def setEventMouseButtons(self, buttons): |
|
2564 """ |
|
2565 Public method to record mouse buttons. |
|
2566 |
|
2567 @param buttons mouse buttons to record (Qt.MouseButtons) |
|
2568 """ |
|
2569 self.__eventMouseButtons = buttons |
|
2570 |
|
2571 def setEventKeyboardModifiers(self, modifiers): |
|
2572 """ |
|
2573 Public method to record keyboard modifiers. |
|
2574 |
|
2575 @param modifiers keyboard modifiers to record (Qt.KeyboardModifiers) |
|
2576 """ |
|
2577 self.__eventKeyboardModifiers = modifiers |