[[ Bugfix 11943 ]] Script Editor does not resize correctly with the resize handle
Merge pull request #546 from runrevsebastien/bugfix-11943

[[ Bugfix 11943 ]] Script Editor does not resize correctly with the resi...