Also call refreshCodeMirror when the current document changes