resizeEvent for the ruler, of course...