increase size of statement in autocompletion

Stream: general

[Sebastien Gouezel]

I find that autocompletion is hard to use, because the interesting bits of the theorems do not fit in the tiny window where the statement in the theorem is shown
completion.mp4
Is there a trick in vscode to increase the size of this window?

[Sebastien Gouezel]

(I can increase the size of the window by grabbing and moving its side, but the theorem is still displayed on 3 lines so it doesn't fit in any case).