Miscellany

    function setViewText($text) {
        $buffer = new GtkTextBuffer();
        $oldBuffer = $this->output->get_buffer();
        $bStart = $this->output->get_iter_at_location(0,0);
        $bEnd = $oldBuffer->get_iter_at_line($oldBuffer->get_line_count() + 3);
        var_dump($oldBuffer->get_text($bStart, $bEnd));
        $buffer->set_text($oldBuffer->get_text($bStart, $bEnd)."\n{$text}");
        $this->output->set_buffer($buffer);
    }