Кто-нибудь знает, можно ли вручную изменить размер текстового поля Codemirror? Я имею в виду, например, Firefox имеет эту функцию, которую вы можете вручную перетащить элемент textarea, но через Codemirror это не сработает.Пользовательский размер экземпляра Codemirror
Не требуется кросс-совместимая поддержка браузера, если мы сможем найти что-то только для Firefox, все в порядке.
Спасибо!
Что-то вдоль линий [этого] (https://jsfiddle.net/mindplay/rs2L2vtb/2/) :-) –