problems with pane‐positioning

[ghost]

If I choose to dock the agda-mode info‐display‐thingie as a pane (to the right, for example), I encounter a couple of problems:

• I cannot scroll the information at all.
• If I close a file, the corresponding info‐display‐thingie doesn’t necessarily close when I have multiple Agda files open.

I was able to work around the first one by having this on my styles.less file:

.agda-mode > section
{
    display: grid;
    place-items: start stretch;
    align-content: start;
}

.agda-body-container
{
    place-self: stretch;
    min-width: 0;
    word-wrap: break-word;
    min-height: 0;
}

.agda-body
{
    max-height: 100%;
}

[banacorn]

I've had the first problem fixed in the ocaml branch. I'll see if the second problem still also persists in the new implementation.