Selection invisible when zoomed way out

[edemaine]

Maybe we should scale the thickness of the selection rectangle proportional to the current scale, so that we can always see it.