coq-lsp icon indicating copy to clipboard operation
coq-lsp copied to clipboard

Published 20 hours ago • verified publisher icon ejgallego

Goal panel offset misaligned

Open Alizter opened this issue 2 years ago • 1 comments

image

As you can see, the goal panel seems to be misaligned and the top is clipping. Probably needs some CSS tweaking.

Alizter avatar Feb 24 '23 17:02 Alizter

That's actually not css but JavaScript, we call scroolIntoView , indeed, the scroll heuristics could use some tuning, there are often many cases to take into account, for now i just added some rough call in #410 to serve as a reference point.

ejgallego avatar Feb 24 '23 19:02 ejgallego