fixes #16939 IE hangs when switching between multiple editors / refocusing browser window, the problem also happened on IE8 and IE11.