Searched defs:inhistory_index (Results 1 – 1 of 1) sorted by relevance
2141 bool display_errors(int *history_index_p = NULL, GtkWidget *win = NULL, int *inhistory_index = NULL… in display_errors()10612 int inhistory_index = 0; in setResult() local10624 int inhistory_index = inhistory.size() - 2; in setResult() local