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