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