Stream: Coq devs & plugin devs

Topic: Scrolling behaviour in messages window


view this post on Zulip 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.

view this post on Zulip 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.

view this post on Zulip 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.

view this post on Zulip Ali Caglayan (Nov 23 2021 at 17:32):

You have a much bigger screen than me then. :-)

view this post on Zulip 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: Mar 19 2024 at 04:02 UTC