public function form($message = '')
    {
        global $event;

        pagetop(gTxt('rah_terminal'), $message);

        echo
            '<h1 class="txp-heading">'.gTxt('rah_terminal').'</h1>'.n.
            '<form method="post" action="index.php" id="rah_terminal_container" class="txp-container">'.n.
            eInput($event).
            sInput('execute').
            tInput().n.
            '    <p>'.selectInput('type', $this->terminal_labels, get_pref('rah_terminal_last_type')).'</p>'.n.
            '    <p>'.n.
            '        <textarea class="code" name="code" rows="12" cols="20">'.txpspecialchars(ps('code')).'</textarea>'.n.
            '    </p>'.n.
            '    <p>'.n.
            '        <input type="submit" value="'.gTxt('rah_terminal_run').'" class="publish" />'.n.
            '    </p>'.n.
            '</form>' .n;
    }