aardvark Web UI query editor scroll buggy after resizing

Hello,

It's been a little time that the query editor panel in aardvark doesn't properly behave anymore, after resizing.

How to reproduce:

1. write an AQL query (or load a saved one) with a number of lines that exceeds the query editor panel size
2. scroll down to show the bottom lines of the query, scroll up to show the top lines, everything is fine
3. vertically resize the query editor, that by the way uses too much vertical space by default, using the handle (at the middle of the line below "execute" button) to make it smaller
4. scroll down: cannot display the bottom lines of the query anymore, they stay hidden by the query results area or whatever is below the query editor panel

Using version 3.12.8 at the moment, with Firefox / Linux, and bug is still present.

Thank you, Best regards