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.

Sign up for GitHub

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

Jump to bottom

emacs: automatically scroll down the Goals buffer #1153

Closed
fblanqui opened this issue Nov 19, 2024 · 1 comment · Fixed by #1168
Closed

emacs: automatically scroll down the Goals buffer #1153

fblanqui opened this issue Nov 19, 2024 · 1 comment · Fixed by #1168
Assignees
@Alidra
Labels
emacs feature request

Comments

@fblanqui
Copy link
Member

In case of a goal has many assumptions, we need to scroll down the Goals buffer to see the goal. It would be nice if the emacs interface could do this automatically.
@fblanqui
Copy link
Member Author

Actually, we should not scroll down completely but until the first goal.

@Alidra Alidra linked a pull request Dec 27, 2024 that will close this issue
Minor Fixes in the Emacs extension #1168
Merged
@fblanqui fblanqui mentioned this issue Dec 30, 2024
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@Alidra Alidra

Labels
emacs feature request
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Minor Fixes in the Emacs extension Alidra/lambdapi
2 participants
@fblanqui @Alidra