133 """<p>The shell has some special commands. 'reset' kills the""" |
133 """<p>The shell has some special commands. 'reset' kills the""" |
134 """ shell and starts a new one. 'clear' clears the display""" |
134 """ shell and starts a new one. 'clear' clears the display""" |
135 """ of the shell window. 'start' is used to switch the shell""" |
135 """ of the shell window. 'start' is used to switch the shell""" |
136 """ language and must be followed by a supported language.""" |
136 """ language and must be followed by a supported language.""" |
137 """ Supported languages are listed by the 'languages'""" |
137 """ Supported languages are listed by the 'languages'""" |
138 """ command. These commands (except 'languages') are""" |
138 """ command. 'quit' is used to exit the application.These""" |
139 """ available through the context menu as well.</p>""" |
139 """ commands (except 'languages') are available through the""" |
|
140 """ window menus as well.</p>""" |
140 """<p>Pressing the Tab key after some text has been entered""" |
141 """<p>Pressing the Tab key after some text has been entered""" |
141 """ will show a list of possible completions. The relevant""" |
142 """ will show a list of possible completions. The relevant""" |
142 """ entry may be selected from this list. If only one entry""" |
143 """ entry may be selected from this list. If only one entry""" |
143 """ is available, this will be inserted automatically.</p>""" |
144 """ is available, this will be inserted automatically.</p>""" |
144 )) |
145 )) |