Desktop: Manually refresh codemirror whenever the window size changes (#3388)
* Manually refresh codemirror whenever the parent div size changes * Set editor width through style rather than adding an extra property * use Memo for editorStyle
C
Caleb John committed
8eb94bc8abe4374205c163b3f9d9f0236cd6a39a
Parent: a9390af
Committed by GitHub <noreply@github.com>
on 7/2/2020, 9:45:43 PM