fix the codemirror display bug, happens when codemirror is initialized in a hidden element.
... use the right variable, dummy.
Merge pull request #5156 from okonomiyaki3000/codemirror-display-bug

fix the codemirror display bug