Fix bug #3835 Disabling CodeMirror in GUI settings does not actually disable it
Merge pull request #223 from kasunchathuranga/Bug3835

Fix bug #3835 Disabling CodeMirror in GUI settings does not actually dis...