history_max_len 131 src/simh/linehistory.c static int history_max_len = LINENOISE_DEFAULT_HISTORY_MAX_LEN; history_max_len 1771 src/simh/linehistory.c if (history_max_len == 0) history_max_len 1779 src/simh/linehistory.c history = malloc(sizeof ( char * ) * history_max_len); history_max_len 1785 src/simh/linehistory.c (void)memset(history, 0, ( sizeof ( char * ) * history_max_len )); history_max_len 1805 src/simh/linehistory.c if (history_len == history_max_len) history_max_len 1811 src/simh/linehistory.c sizeof ( char * ) * ( history_max_len - 1 )); history_max_len 1869 src/simh/linehistory.c history_max_len = len; history_max_len 1870 src/simh/linehistory.c if (history_len > history_max_len) history_max_len 1872 src/simh/linehistory.c history_len = history_max_len;