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(const char * editline_name,FILE * input_file,FILE * output_file,FILE * error_file,std::recursive_mutex & output_mutex) Editline() argument