Usage
To open and close terminals
- To open a new terminal window
- Choose (or right-click the terminal window and choose ).
- The new terminal by default inherits the working directory from its parent terminal (may be changed via hidden options).
- To close a terminal window
- Choose .
- This action closes the terminal and terminates any subproces…