Searched refs:push_to_readline (Results 1 – 1 of 1) sorted by relevance
681 static char *push_to_readline = (char *)NULL; variable688 if (push_to_readline) in bash_push_line()690 rl_insert_text (push_to_readline); in bash_push_line()691 free (push_to_readline); in bash_push_line()692 push_to_readline = (char *)NULL; in bash_push_line()704 FREE (push_to_readline);706 push_to_readline = savestring (line);