set replxx history max size higher

before it was 1000
This commit is contained in:
dzaima 2023-01-15 22:55:40 +02:00
parent 6c89982bbc
commit e0df77519e

View File

@ -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, " ");