If you set the value of 'editor.resizable' as to true, users you can resize the height of the Editor (false by default).
...
If you set the value of 'editor.resizable' as to true, users you can resize the height of the Editor (false by default).
...