Index: ui/webui/resources/js/cr/ui/page_manager/page_manager.js |
diff --git a/ui/webui/resources/js/cr/ui/page_manager/page_manager.js b/ui/webui/resources/js/cr/ui/page_manager/page_manager.js |
index 99599b1ed2ce8d87eca1c0d30744159b25fe4e79..40907226ec0af3c2389b5263e0d0b52dbed9150d 100644 |
--- a/ui/webui/resources/js/cr/ui/page_manager/page_manager.js |
+++ b/ui/webui/resources/js/cr/ui/page_manager/page_manager.js |
@@ -83,6 +83,14 @@ cr.define('cr.ui.pageManager', function() { |
}, |
/** |
+ * Unregisters an existing page. |
+ * @param {!cr.ui.pageManager.Page} page Page to unregister. |
+ */ |
+ unregister: function(page) { |
+ delete this.registeredPages[page.name.toLowerCase()]; |
dpapad
2017/01/12 22:53:21
Is it necessary to unregister a page? I am wonderi
mbrunson
2017/01/12 23:09:19
Unregistering a page can create an obsolete entry
|
+ }, |
+ |
+ /** |
* Registers a new Overlay page. |
* @param {!cr.ui.pageManager.Page} overlay Overlay to register. |
* @param {cr.ui.pageManager.Page} parentPage Associated parent page for |