history_max_len   117 src/simh/linehistory.c static int history_max_len   = LINENOISE_DEFAULT_HISTORY_MAX_LEN;
history_max_len  1748 src/simh/linehistory.c   if (history_max_len == 0)
history_max_len  1756 src/simh/linehistory.c     history = malloc(sizeof ( char * ) * history_max_len);
history_max_len  1762 src/simh/linehistory.c     memset(history, 0, ( sizeof ( char * ) * history_max_len ));
history_max_len  1782 src/simh/linehistory.c   if (history_len == history_max_len)
history_max_len  1788 src/simh/linehistory.c       sizeof ( char * ) * ( history_max_len - 1 ));
history_max_len  1846 src/simh/linehistory.c   history_max_len = len;
history_max_len  1847 src/simh/linehistory.c   if (history_len > history_max_len)
history_max_len  1849 src/simh/linehistory.c     history_len = history_max_len;