Come si crea un editor CodeMirror e il suo gutter al 100% dell'altezza del suo genitore?Creare un editor CodeMirror e il suo canale di scolo 100% altezza del contenitore
Ad esempio, su jsfiddle, gli editor hanno una grondaia di altezza 100%.
Ho passato il CSS cercando di rendere tutto 100% altezza, ma nessun effetto.
Almeno su Safari da 9.0.1, si è sollevato da un tale dovere di chiamare 'refresh()'! – lol