5741 editor.selectionChanged.connect( |
5741 editor.selectionChanged.connect( |
5742 lambda: self.__searchReplaceWidget.selectionChanged(editor) |
5742 lambda: self.__searchReplaceWidget.selectionChanged(editor) |
5743 ) |
5743 ) |
5744 editor.selectionChanged.connect(lambda: self.__editorSelectionChanged(editor)) |
5744 editor.selectionChanged.connect(lambda: self.__editorSelectionChanged(editor)) |
5745 editor.lastEditPositionAvailable.connect(self.__lastEditPositionAvailable) |
5745 editor.lastEditPositionAvailable.connect(self.__lastEditPositionAvailable) |
5746 editor.zoomValueChanged.connect(lambda v: self.zoomValueChanged(v, editor)) |
|
5747 editor.mouseDoubleClick.connect( |
5746 editor.mouseDoubleClick.connect( |
5748 lambda pos, buttons: self.__editorDoubleClicked(editor, pos, buttons) |
5747 lambda pos, buttons: self.__editorDoubleClicked(editor, pos, buttons) |
5749 ) |
5748 ) |
5750 |
5749 |
5751 editor.languageChanged.connect(lambda: self.editorLanguageChanged.emit(editor)) |
5750 editor.languageChanged.connect(lambda: self.editorLanguageChanged.emit(editor)) |
6558 self.copyActGrp.setEnabled(False) |
6557 self.copyActGrp.setEnabled(False) |
6559 self.viewActGrp.setEnabled(False) |
6558 self.viewActGrp.setEnabled(False) |
6560 self.sbZoom.setEnabled(False) |
6559 self.sbZoom.setEnabled(False) |
6561 else: |
6560 else: |
6562 self.sbZoom.setEnabled(True) |
6561 self.sbZoom.setEnabled(True) |
6563 self.sbZoom.setValue(now.getZoom()) |
6562 if isinstance(now, Shell): |
|
6563 self.sbZoom.setValue(now.getZoom()) |
6564 |
6564 |
6565 if not isinstance(now, (Editor, Shell)): |
6565 if not isinstance(now, (Editor, Shell)): |
6566 self.searchActGrp.setEnabled(False) |
6566 self.searchActGrp.setEnabled(False) |
6567 |
6567 |
6568 if not isinstance(now, (Editor, Shell)): |
6568 if not isinstance(now, (Editor, Shell)): |
6990 @param value new zoom value |
6990 @param value new zoom value |
6991 @type int |
6991 @type int |
6992 @param zoomingWidget reference to the widget triggering the slot |
6992 @param zoomingWidget reference to the widget triggering the slot |
6993 @type Editor or Shell |
6993 @type Editor or Shell |
6994 """ |
6994 """ |
6995 aw = ( |
6995 if QApplication.focusWidget() == ericApp().getObject("Shell"): |
6996 ericApp().getObject("Shell") |
6996 aw = ericApp().getObject("Shell") |
6997 if QApplication.focusWidget() == ericApp().getObject("Shell") |
6997 else: |
6998 else self.activeWindow() |
6998 aw = ( |
6999 ) |
6999 self.activeWindow() |
|
7000 if self.activeWindow() == QApplication.focusWidget() |
|
7001 else QApplication.focusWidget() |
|
7002 ) |
7000 if aw and aw == zoomingWidget: |
7003 if aw and aw == zoomingWidget: |
7001 self.sbZoom.setValue(value) |
7004 self.sbZoom.setValue(value) |
7002 |
7005 |
7003 def __clearAllFolds(self): |
7006 def __clearAllFolds(self): |
7004 """ |
7007 """ |