Index: mojo/services/public/interfaces/view_manager/view_manager.mojom |
diff --git a/mojo/services/public/interfaces/view_manager/view_manager.mojom b/mojo/services/public/interfaces/view_manager/view_manager.mojom |
index b0f512f49278c7161d1442487a435f613de7c627..2a1a17841cab455ed6130e53e007c8d8cac7eb18 100644 |
--- a/mojo/services/public/interfaces/view_manager/view_manager.mojom |
+++ b/mojo/services/public/interfaces/view_manager/view_manager.mojom |
@@ -111,9 +111,12 @@ interface ViewManagerService { |
// |
// A view may only be a root of one connection at a time. Subsequent calls to |
// Embed() for the same view result in the view being removed from the |
- // current connection. The current connection is told this by way of |
+ // currently embedded app. The embedded app is told this by way of |
// OnViewDeleted(). |
// |
+ // The embedder can detect when the embedded app disconnects by way of |
+ // OnEmbeddedAppDisconnected(). |
+ // |
// When a connection embeds an app the connection no longer has priviledges |
// to access or see any of the children of the view. If the view had existing |
// children the children are removed. The one exception is the root |
@@ -144,6 +147,9 @@ interface ViewManagerClient { |
ServiceProvider&? parent_service_provider, |
handle<message_pipe> window_manager_pipe); |
+ // Invoked when the application embedded at |view| is disconnected. |
+ OnEmbeddedAppDisconnected(uint32 view); |
+ |
// Invoked when a view's bounds have changed. |
OnViewBoundsChanged(uint32 view, |
mojo.Rect old_bounds, |