| <html> | |
| <head> | |
| <link rel="stylesheet" type="text/css" href="css/tips.css"> | |
| </head> | |
| <body> | |
| <p>For the embedded local terminal, you can define your favorite shell, | |
| default tab name, and other settings. | |
| Choose | |
| <span class="control">File | Settings</span> on the main menu, | |
| and then open the page <span class="control">Terminal</span>. </p> | |
| </body> | |
| </html> |