diff --git a/pl/boot.yap b/pl/boot.yap old mode 100644 new mode 100755 index b79152321..85a44befc --- a/pl/boot.yap +++ b/pl/boot.yap @@ -571,6 +571,9 @@ true :- true. '$another' :- format(user_error,' ? ',[]), get0(user_input,C), + '$do_another'(C). + +'$do_another'(C) :- ( C== 0'; -> '$skip'(user_input,10), %' '$add_nl_outside_console', fail @@ -581,6 +584,10 @@ true :- true. ; print_message(help,yes) ) + ; + C== 13 -> + get0(user_input,NC), + '$do_another'(NC) ; C== -1 -> halt ; diff --git a/pl/debug.yap b/pl/debug.yap old mode 100644 new mode 100755 index 814dfe52b..9ad9d5103 --- a/pl/debug.yap +++ b/pl/debug.yap @@ -589,6 +589,9 @@ debugging :- '$debugger_write'(Stream, G) :- writeq(Stream, G). +'$action'(13,P,CallNumber,G,Module,Zip) :- !, % newline creep + get0(user_input,C), + '$action'(C,P,CallNumber,G,Module,Zip). %'$action'(10,_,_,_,_,on) :- % newline creep % nb_setval('$debug_jump',false). '$action'(10,_,_,_,_,on) :- !, % newline creep