[frontend] EditorManager: flush the documents as the editor looses focus GitOrigin-RevId: 9157eba091e21c80202448b6c28c22dddd8cb687