rl.py 文件源码

def echo(text, prompt_prefix=None):
    readline_active = (rl_readline_state.value & RL_STATE_DONE) == 0

    if readline_active:
        saved_point = rl_point.value
        saved_line = r.get_line_buffer()
        rl_save_prompt()
        rl_replace_line(c_char_p(b""), 0)
        rl_redisplay()

    print(text)

    if readline_active:
        if prompt_prefix is not None:
            sys.stdout.write(prompt_prefix)
            sys.stdout.flush()
        rl_restore_prompt()
        rl_replace_line(c_char_p(saved_line.encode()), 0)
        rl_point.value = saved_point
        rl_redisplay()