Notify CodeMirror of height change after animation is done