You are right, the rulers and thumbnails need to respect high resolution displays. It was always on my mind to take a look into this, but at the same time I was wondering if anyone would notice at all. Obviously some people do :)