143 self.setWhatsThis(self.tr( |
143 self.setWhatsThis(self.tr( |
144 """<b>The Shell Window</b>""" |
144 """<b>The Shell Window</b>""" |
145 """<p>You can use the cursor keys while entering commands.""" |
145 """<p>You can use the cursor keys while entering commands.""" |
146 """ There is also a history of commands that can be recalled""" |
146 """ There is also a history of commands that can be recalled""" |
147 """ using the up and down cursor keys while holding down the""" |
147 """ using the up and down cursor keys while holding down the""" |
148 """ Ctrl-key. Pressing these keys after some text has been""" |
148 """ Ctrl-key. This can be switched to just the up and down""" |
|
149 """ cursor keys on the Shell page of the configuration""" |
|
150 """ dialog. Pressing these keys after some text has been""" |
149 """ entered will start an incremental search.</p>""" |
151 """ entered will start an incremental search.</p>""" |
150 """<p>The shell has some special commands. 'reset' kills the""" |
152 """<p>The shell has some special commands. 'reset' kills the""" |
151 """ shell and starts a new one. 'clear' clears the display""" |
153 """ shell and starts a new one. 'clear' clears the display""" |
152 """ of the shell window. 'start' is used to switch the shell""" |
154 """ of the shell window. 'start' is used to switch the shell""" |
153 """ language and must be followed by a supported language.""" |
155 """ language and must be followed by a supported language.""" |
168 """ being debugged. This means that you can execute any""" |
170 """ being debugged. This means that you can execute any""" |
169 """ command while the program being debugged is running.</p>""" |
171 """ command while the program being debugged is running.</p>""" |
170 """<p>You can use the cursor keys while entering commands.""" |
172 """<p>You can use the cursor keys while entering commands.""" |
171 """ There is also a history of commands that can be recalled""" |
173 """ There is also a history of commands that can be recalled""" |
172 """ using the up and down cursor keys while holding down the""" |
174 """ using the up and down cursor keys while holding down the""" |
173 """ Ctrl-key. Pressing these keys after some text has been""" |
175 """ Ctrl-key. This can be switched to just the up and down""" |
|
176 """ cursor keys on the Shell page of the configuration""" |
|
177 """ dialog. Pressing these keys after some text has been""" |
174 """ entered will start an incremental search.</p>""" |
178 """ entered will start an incremental search.</p>""" |
175 """<p>The shell has some special commands. 'reset' kills the""" |
179 """<p>The shell has some special commands. 'reset' kills the""" |
176 """ shell and starts a new one. 'clear' clears the display""" |
180 """ shell and starts a new one. 'clear' clears the display""" |
177 """ of the shell window. 'start' is used to switch the shell""" |
181 """ of the shell window. 'start' is used to switch the shell""" |
178 """ language and must be followed by a supported language.""" |
182 """ language and must be followed by a supported language.""" |