Skip to content
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

Merged
merged 9 commits into from
Nov 18, 2024

Conversation

Alidra
Copy link
Member

@Alidra Alidra commented Nov 15, 2024

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 to get_goals because it is redundant with the ones in get_logs.

Note one could as well remove this code from get_logs and keep it in do_goals for efficiency. However, it is safer and probably better to call it in the functions actually using the position (namely get_logs and get_goals)

@fblanqui
Copy link
Member

Thank you Abdelghani.

@fblanqui
Copy link
Member

fblanqui commented Nov 17, 2024

I am wondering: shouldn't we print logs in reverse order so that the last log comes first?
For this, we just need to replace in get_logs, filter_map by filter_rev_map.

@Alidra
Copy link
Member Author

Alidra commented Nov 18, 2024

I am wondering: shouldn't we print logs in reverse order so that the last log comes first? For this, we just need to replace in get_logs, filter_map by filter_rev_map.

Why not? I can try to print logs in reverse order and see how suitable it is for the user.

@fblanqui
Copy link
Member

@melanie-taprogge @NotBad4U What do you think of changing the order of logs?

@NotBad4U
Copy link
Member

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?

@melanie-taprogge
Copy link

@melanie-taprogge @NotBad4U What do you think of changing the order of logs?

Like @NotBad4U, I am also using vscode and am happy with the order the logs are displayed there currently!

@fblanqui
Copy link
Member

Ok, so it seems that this a problem with emacs only.

@fblanqui fblanqui merged commit d926581 into Deducteam:master Nov 18, 2024
11 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants