Whether an editor should be auto resized on a content change.
remove when https://github.com/Microsoft/monaco-editor/issues/103 is resolved
A maximal height of an editor in lines.
A minimal height of an editor in lines.
Whether an editor should be auto resized on a content change.
Fixme
remove when https://github.com/Microsoft/monaco-editor/issues/103 is resolved