* Temporary fix for the CodeMirror binding.