Electronic Devices with Lenses

A head-mounted device may have optical modules that present images to a user's left and right eyes. Each optical module may have a lens support structure that supports a display and a fixed lens. Vision correction lenses may be removably coupled to the fixed lenses to help customize the head-mounted device to the vision of a particular user. A user may view images on the displays through the removable and fixed lenses from eye boxes. The optical modules may include infrared light sources that supply infrared light to the eye boxes and infrared light sensors such as infrared cameras for gaze tracking and authentication. The lenses may have optical surfaces covered with coating that enhance optical performance and may have edge surfaces that are provided with structures to help reduce stray light reflections. The lenses may be configured to pass visible and infrared light.