This will blow away the selection, scroll position, any inline editors, etc.  If you add a check so that we _only_ do this if the language has changed, then we could probably get away with it for now... but even then, please file a spinoff bug to track the issue for later.  Eventually we should update the Editor's mode more directly and expect others like JSLint to listen for renames or language changes or whatnot themselves.