Searched defs:history_file (Results 1 – 4 of 4) sorted by relevance
67 void *ctx, const char *history_file, const char *ps) in edit_init()82 void edit_deinit(const char *history_file, in edit_deinit()
115 void *ctx, const char *history_file, const char *ps) in edit_init()147 void edit_deinit(const char *history_file, in edit_deinit()
1116 void *ctx, const char *history_file, const char *ps) in edit_init()1144 void edit_deinit(const char *history_file, in edit_deinit()
53 const string& history_file = compatibility.op_history_file(); in WriteUpdateTo() local