history_max_len   113 src/simh/linehistory.c static int history_max_len   = LINENOISE_DEFAULT_HISTORY_MAX_LEN;
history_max_len  1753 src/simh/linehistory.c   if (history_max_len == 0)
history_max_len  1761 src/simh/linehistory.c     history = malloc(sizeof ( char * ) * history_max_len);
history_max_len  1767 src/simh/linehistory.c     (void)memset(history, 0, ( sizeof ( char * ) * history_max_len ));
history_max_len  1787 src/simh/linehistory.c   if (history_len == history_max_len)
history_max_len  1793 src/simh/linehistory.c       sizeof ( char * ) * ( history_max_len - 1 ));
history_max_len  1851 src/simh/linehistory.c   history_max_len = len;
history_max_len  1852 src/simh/linehistory.c   if (history_len > history_max_len)
history_max_len  1854 src/simh/linehistory.c     history_len = history_max_len;