| Index: services/ui/ws/window_manager_state.h
|
| diff --git a/services/ui/ws/window_manager_state.h b/services/ui/ws/window_manager_state.h
|
| index 108fd1040578a5a128969d220c92e647ebcd12e5..3921fdfaaceeb1a8a607f847583d99301f062867 100644
|
| --- a/services/ui/ws/window_manager_state.h
|
| +++ b/services/ui/ws/window_manager_state.h
|
| @@ -78,6 +78,9 @@ class WindowManagerState : public EventDispatcherDelegate,
|
|
|
| void AddSystemModalWindow(ServerWindow* window);
|
|
|
| + // Deletes the WindowManagerDisplayRoot whose root is |display_root|.
|
| + void DeleteWindowManagerDisplayRoot(ServerWindow* display_root);
|
| +
|
| // Returns the ServerWindow corresponding to an orphaned root with the
|
| // specified id. See |orphaned_window_manager_display_roots_| for details on
|
| // what on orphaned root is.
|
|
|