From e0df77519eb1775c85c0d86a63aa74ca6a46332e Mon Sep 17 00:00:00 2001 From: dzaima Date: Sun, 15 Jan 2023 22:55:40 +0200 Subject: [PATCH] set replxx history max size higher before it was 1000 --- src/main.c | 1 + 1 file changed, 1 insertion(+) diff --git a/src/main.c b/src/main.c index 0f7f9d87..d59d209e 100644 --- a/src/main.c +++ b/src/main.c @@ -894,6 +894,7 @@ int main(int argc, char* argv[]) { replxx_set_modify_callback(global_replxx, modified_replxx, NULL); replxx_bind_key_internal(global_replxx, REPLXX_KEY_CONTROL('N'), "history_next"); replxx_bind_key_internal(global_replxx, REPLXX_KEY_CONTROL('P'), "history_previous"); + replxx_set_max_history_size(global_replxx, 50000); while(true) { const char* ln = replxx_input(global_replxx, " ");