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.