Fixes #5950: Auto-adjust the height of the technique editor
Merge pull request #708 from fanf/bug_5950/auto_adjust_the_height_of_the_technique_editor

Fixes #5950: Auto-adjust the height of the technique editor