Can somebody check the scrolling behaviour of the messages window in CoqIDE 8.14 or before?
Section Foo.
Context (A B C D E F G H I : Type).
Axiom foo : A -> A -> A -> A -> A -> A.
Arguments foo {a a a a a}.
Check foo.
I'm on an 8.15 build and my messages window scrolls halfway which is really weird. Just want to check it didn't do that before, before I file an issue.
In my tests on your example, 8.14 doesn't scroll and 8.15 scrolls to the bottom of the messages window.
Note that it requires a sufficiently narrow window to see any scrolling because otherwise it all fits on screen.
You have a much bigger screen than me then. :-)
I think the not scrolling behaviour is what I want. More times than not, whatever is in the messages window, the beginning is the important part.
Last updated: Dec 07 2023 at 17:01 UTC