7e72af29ac
[web] Ensure editor theme exists before loading it GitOrigin-RevId: 771aafeda2d7dd3aae9656cdfbad75996a523ac8