using CodeMirror component for fancy Javascript text editing in constaint editor