editor: refresh codemirror when editor is manually resized

See #207