Searched defs:editline_name (Results 1 – 2 of 2) sorted by relevance
225 const char *editline_name, // Used for saving history files in IOHandlerEditline()242 const char *editline_name, // Used for saving history files in IOHandlerEditline()
1331 Editline::Editline(const char *editline_name, FILE *input_file, in Editline()