Searched refs:rl_readline_name (Results 1 – 3 of 3) sorted by relevance
101 extern char *rl_readline_name;
231 rl_readline_name = "FileMan"; in initialize_readline()
79 char *rl_readline_name = empty; variable307 e = el_init(rl_readline_name, rl_instream, rl_outstream, stderr); in rl_initialize()