Propagation of the fullscreen enabled flag is done by HTML