On Apr 13, 2014, at 16:55, Eirik Bakke <ebakke at MIT.EDU> wrote: > Huh, in Hendrik's case it seems he gets an even-larger checkmark even in retina mode (judging from the font size in Hendrik's screenshot). In my case I was _not_ running in retina mode. Just to confirm: I was using Retina. -hendrik