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)