f1e1d55d8c
Ensure that open docs are flushed before running full project search GitOrigin-RevId: 6707cf982018908a37957503add73a085c749f61