Ali Caglayan (Nov 23 2021 at 16:34): Ali Caglayan (Nov 23 2021 at 16:34):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.
Théo Zimmermann (Nov 23 2021 at 17:18):In my tests on your example, 8.14 doesn't scroll and 8.15 scrolls to the bottom of the messages window.
Théo Zimmermann (Nov 23 2021 at 17:19):Note that it requires a sufficiently narrow window to see any scrolling because otherwise it all fits on screen.
Ali Caglayan (Nov 23 2021 at 17:32):You have a much bigger screen than me then. :-)
Ali Caglayan (Nov 23 2021 at 17:33):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: May 31 2023 at 16:01 UTC