eric6/ViewManager/ViewManager.py

changeset 8227
349308e84eeb
parent 8220
006ee31b4835
child 8235
78e6d29eb773
equal deleted inserted replaced
8226:6dc5b1db7bdc 8227:349308e84eeb
6995 aw = e5App().getObject("Shell") 6995 aw = e5App().getObject("Shell")
6996 if aw.hasSelectedText(): 6996 if aw.hasSelectedText():
6997 txt = aw.selectedText() 6997 txt = aw.selectedText()
6998 else: 6998 else:
6999 aw = self.activeWindow() 6999 aw = self.activeWindow()
7000 if aw is not None: 7000 if aw is not None and aw.hasSelectedText():
7001 if aw.hasSelectedText(): 7001 txt = aw.selectedText()
7002 txt = aw.selectedText()
7003 return txt 7002 return txt

eric ide

mercurial