Make sure the editor ruler gets updated when we switch document.