Fixes #5995: Actually call the Javascript to resize the technique editor