def add_snippet(snippet):
add_text(snippet, False)
exported_methods.refresh(glob.sess_id, snippet, refresh_console)
def keypressed(key):
kc = key.keyCode
if kc == ord("\r"):
inp_elem = dom.document.getElementById("inp")
cmd = inp_elem.value
inp_elem.value = ''
add_text(cmd + "\n", False)
#if not cmd:
# exported_methods.refresh(glob.sess_id, cmd, empty_callback)
#else:
exported_methods.refresh(glob.sess_id, cmd + "\n", refresh_console)
