 
 {EventEmitter} = require('events')
 {alert_message} = require('alerts')
-{copy, filename_extension, required, defaults, to_json} = require('misc')
+{copy, filename_extension, required, defaults, to_json, uuid} = require('misc')
 
 templates        = $("#salvus-console-templates")
 console_template = templates.find(".salvus-console")

        sb.height(elt.height())

    set_scrollbar_to_term: () =>
        console.log("set_scrollbar_to_term: terminal.ydisp=#{@terminal.ydisp}, terminal.ybase=#{@terminal.ybase}, scrollHeight=#{@scrollbar[0].scrollHeight}")
        if @terminal.ybase == 0  # less than 1 page of text in buffer
            @scrollbar.hide()
            return

            return CSI + "4;#{rows};#{cols}t"
        @session.write_data(resize_code(new_cols, new_rows))

        @resize_scrollbar()

        # Record new size
        @opts.cols = new_cols
