fix history
This commit is contained in:
parent
e22e3d74a0
commit
098608700c
@ -30,7 +30,7 @@
|
||||
*/
|
||||
|
||||
:- module('$history',
|
||||
[ % read_history/6,
|
||||
[ %read_history/6,
|
||||
'$clean_history'/0,
|
||||
'$save_history'/1
|
||||
]).
|
||||
@ -148,7 +148,7 @@ save_history_line(Line) :-
|
||||
[ Line, [partial(true)],
|
||||
'.', [partial(true)]
|
||||
]),
|
||||
catch(user:rl_add_history(CompleteLine), _, fail), !.
|
||||
catch(system:rl_add_history(CompleteLine), _, fail), !.
|
||||
save_history_line(_).
|
||||
|
||||
save_event(Dont, Event) :-
|
||||
|
@ -135,6 +135,7 @@ save_program(File, _Goal) :-
|
||||
'$x_yap_flag'(X, V) :-
|
||||
yap_flag(X, V),
|
||||
X \= language,
|
||||
X \= readline,
|
||||
X \= timezone,
|
||||
X \= user_input,
|
||||
X \= user_output,
|
||||
|
Reference in New Issue
Block a user