Hi,
I noticed something odd. When I connect an external monitor via HDMI, I cannot switch off the cropmarks. Well - I can switch them off, but they don't disappear. On the other hand, the magic zoom doesn't work on an HDMI display. It just doesn't appear. When I pull the plug, it will appear on the internal monitor.
-S