Good point. FWIW, Sublime has the second behavior (it marks the doc clean and doesn't reload it if you switch out and back). That seems reasonable to me. It seems even more correct in the deletion case!