Textearea in javascript window is not properly fixed

[jeromeip]

Hi,
[Repost as requested]
The javascript textearea is not resizing properly when redrawing it’s parent window.
See captures:

Initial state:

After resizing

[paultaylor]

Logged as https://jthink.atlassian.net/browse/SONGKONG-2053