eric6/QScintilla/Shell.py

changeset 6987
3371a03ed0a7
parent 6942
2602857055c5
child 6989
8b8cadf8d7e9
child 7198
684261ef2165
equal deleted inserted replaced
6986:23886c1dd3d0 6987:3371a03ed0a7
87 """ 87 """
88 self.__searchWidget.showFind(txt) 88 self.__searchWidget.showFind(txt)
89 89
90 def shell(self): 90 def shell(self):
91 """ 91 """
92 Public method to get a reference to the terminal widget. 92 Public method to get a reference to the shell widget.
93 93
94 @return reference to the shell widget (Shell) 94 @return reference to the shell widget (Shell)
95 """ 95 """
96 return self.__shell 96 return self.__shell
97 97

eric ide

mercurial