Script Editor and dragging an area bigger update problem

When i open a file in the Script editor it can happen that a function in the code jumper is not fully displayed.



So i drag the area bigger. Which helps nothing at that point because Script Editor window refuses to update.



I have to switch to another tab then come back so that the window refreshes and i can see the full Code jumper content.



While at it, would be great when the code jumper window would remember its size

Thanks, this will be fixed in a future SED version.