Summary

MongoDocumentEditor accepts onDocumentUpdated (explorer wires _navigateToDocuments) but never calls it after a successful replaceDocument. Toast says “Document saved successfully”; returning to the collection still shows pre-edit field previews until manual Refresh.

Scope

• Invoke onDocumentUpdated after a successful replace (and keep the editor on the saved doc, or reload the list in the background).
• Do not lose the editor on Save (if navigate-to-list is too aggressive, add a dedicated list-reload callback).

Out of scope

• Inspector $set dotted keys (separate issue).