Fixes #5995: Actually call the Javascript to resize the technique editor
Merge pull request #720 from ncharles/bug_5995/dev/call_js_to_resize

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