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;