/* in the future, this would be nice as a configurable thing.
 * maybe another field in the shells table.
 */
php echo $html->css('shells_greenonblack');
?>
<div class="greenonblack">
<pre>
<div id="shell_prev"><div id="shell_hist"></div></div>
</pre>
<?php
/* at event loaded, adds the updated div to the outer
 * shell_prev div, and sets the updated one to ''.
 */
$loaded = "var newOut=document.getElementById('shell_hist').innerHTML; ".
  "document.getElementById('shell_hist').innerHTML='';".
  "document.getElementById('shell_prev').innerHTML=newOut + document.getElementById('shell_prev').innerHTML;";
$opts = array('update' => 'shell_hist',
    'complete' => "document.getElementById('prompt').value='';",
    'loaded' => $loaded); //TODO: focus the prompt
// the form.
echo $ajax->form($html->url('/shells/shell_history/'. $shell['id']), 'post', $opts);
?>
  <table>
    <tr>
      <td>
        <?php
        $ps1 = unserialize($shell['env']);
        $ps1 = $ps1['PS1'] ? $ps1['PS1'] : $shell['title'];
        echo $ps1;
        ?>&nbsp;
      </td>
      <td style="width: 100%">
        <?php echo $html->input('Shell/cmd', array('size' => '40', 'id' => 'prompt')); ?>
      </td>
    </tr>
  </table>
<a name="p" />
</form>