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