Readd setTimeout since it isn't used by codeMirror.