100
100
+----------------------+------------------------------------------+
102
102
*commandlist* is a list of items of the form *cmdstr* or ``(cmdstr, descr)``,
104
104
chosen, the text of *cmdstr* will be appended to the command line as is, except
105
105
that a trailing ``':'`` or ``'='`` (if present) will be trimmed off.