whole_func_string: function() {
          // Certain browsers have a bug such that scrollHeight is too small
          // when content does not fill the client area of the element
          var scrollHeight = Math.max(this.output.scrollHeight, this.output.clientHeight);
          this.output.scrollTop = scrollHeight - this.output.clientHeight;
      }
func_code_string: function() {
          // Certain browsers have a bug such that scrollHeight is too small
          // when content does not fill the client area of the element
          var scrollHeight = Math.max(this.output.scrollHeight, this.output.clientHeight);
          this.output.scrollTop = scrollHeight - this.output.clientHeight;
      }
func_documentation_string: We need to see the output of the latest command entered