Skip to content

Commit

Permalink
Enable SaveAndRestoreHistory by default
Browse files Browse the repository at this point in the history
  • Loading branch information
fingolfin committed Feb 18, 2021
1 parent 7a57e8c commit 53a160f
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion lib/cmdledit.g
Original file line number Diff line number Diff line change
Expand Up @@ -455,7 +455,7 @@ arbitrarily many lines.",
"These preferences are ignored if GAP was not compiled with \
readline support.",
],
default:= [1000, false],
default:= [1000, true],
check:= function(max, save)
return ((IsInt( max ) and 0 <= max) or max = infinity)
and save in [true, false];
Expand Down

0 comments on commit 53a160f

Please sign in to comment.