Editor: Tried to use CodeMirror for editing userData and found out it can't be resized.