-
Notifications
You must be signed in to change notification settings - Fork 35
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Fix the list of messages to be displayed in terminal due to position error #1150
Conversation
…oherent with get_logs and for soundness
Thank you Abdelghani. |
I am wondering: shouldn't we print logs in reverse order so that the last log comes first? |
Why not? I can try to print logs in reverse order and see how suitable it is for the user. |
@melanie-taprogge @NotBad4U What do you think of changing the order of logs? |
I think vscode print shows you the last lines in the terminal tab. I believe that changing the order will need me to scroll up to view the last message (that needs to be tested). Maybe the vscode extension can re-reverse the order? |
Like @NotBad4U, I am also using vscode and am happy with the order the logs are displayed there currently! |
Ok, so it seems that this a problem with emacs only. |
When executing get_logs, the use of
<
instead of<=
prevents the last message to be displayed in the terminal (this is partially described in issue #1144 )Besides, the calculation of position in
do_goals
is moved toget_goals
because it is redundant with the ones inget_logs
.Note one could as well remove this code from
get_logs
and keep it indo_goals
for efficiency. However, it is safer and probably better to call it in the functions actually using the position (namelyget_logs
andget_goals
)