eric6/ViewManager/ViewManager.py

changeset 7344
83bb25074625
parent 7282
33e92c553b0b
child 7345
bc0ee7fadd03
child 7360
9190402e4505
equal deleted inserted replaced
7343:e0808393413f 7344:83bb25074625
5434 5434
5435 def appFocusChanged(self, old, now): 5435 def appFocusChanged(self, old, now):
5436 """ 5436 """
5437 Public method to handle the global change of focus. 5437 Public method to handle the global change of focus.
5438 5438
5439 @param old reference to the widget loosing focus (QWidget) 5439 @param old reference to the widget loosing focus
5440 @param now reference to the widget gaining focus (QWidget) 5440 @type QWidget
5441 """ 5441 @param now reference to the widget gaining focus
5442 @type QWidget
5443 """
5444 # Focus handling was changed with Qt 5.13.1; this copes with that
5445 if now is None:
5446 return
5447
5442 from QScintilla.Shell import Shell 5448 from QScintilla.Shell import Shell
5443 5449
5444 if not isinstance(now, (Editor, Shell)): 5450 if not isinstance(now, (Editor, Shell)):
5445 self.editActGrp.setEnabled(False) 5451 self.editActGrp.setEnabled(False)
5446 self.copyActGrp.setEnabled(False) 5452 self.copyActGrp.setEnabled(False)

eric ide

mercurial