        // $('#editor-section').height(newHeight.toString() + "px");

        // This call is required for the editor to fix all of
        // its inner structure for adapting to a change in size
        editor.resize();
    }

    function runeditor(){
        $("#send_txt").val(".runeditor");
        $("#send_button").click();
        $("#send_txt").val("");
    }

    function clearoutput(){
        $("#output").text("");
    }

    function replay(command){
        $("#send_txt").val(unescape(command));