src/eric7/ViewManager/ViewManager.py

branch
eric7
changeset 10672
072047a94342
parent 10621
f5631f40c4d9
child 10673
214deec16021
equal deleted inserted replaced
10671:f2d75784e574 10672:072047a94342
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 """

eric ide

mercurial