history_max_len   120 src/simh/linehistory.c static int history_max_len   = LINENOISE_DEFAULT_HISTORY_MAX_LEN;
history_max_len  1760 src/simh/linehistory.c   if (history_max_len == 0)
history_max_len  1768 src/simh/linehistory.c     history = malloc(sizeof ( char * ) * history_max_len);
history_max_len  1774 src/simh/linehistory.c     (void)memset(history, 0, ( sizeof ( char * ) * history_max_len ));
history_max_len  1794 src/simh/linehistory.c   if (history_len == history_max_len)
history_max_len  1800 src/simh/linehistory.c       sizeof ( char * ) * ( history_max_len - 1 ));
history_max_len  1858 src/simh/linehistory.c   history_max_len = len;
history_max_len  1859 src/simh/linehistory.c   if (history_len > history_max_len)
history_max_len  1861 src/simh/linehistory.c     history_len = history_max_len;