Remove old syntax check widget code. This is no longer supported in CodeMirror and had to be removed