Shell menu commands

Use this menu commands to change the shell type used in Console bar. A check mark appears next to the menu item when the shell type is selected.

The Shell menu offers the following commands:

Tcl Use Tcl for the shell.
Python Use Python for the shell.