<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>