Chromium Code Reviews| Index: ui/webui/resources/js/cr/ui/page_manager/page.js |
| diff --git a/ui/webui/resources/js/cr/ui/page_manager/page.js b/ui/webui/resources/js/cr/ui/page_manager/page.js |
| index b9d92593c7ec8638dc32cf45613992e5185d296d..abb01f8865c3a894c2c39c93767e7bd5f09dd017 100644 |
| --- a/ui/webui/resources/js/cr/ui/page_manager/page.js |
| +++ b/ui/webui/resources/js/cr/ui/page_manager/page.js |
| @@ -15,7 +15,6 @@ cr.define('cr.ui.pageManager', function() { |
| * @param {string} name Page name. |
| * @param {string} title Page title, used for history. |
| * @param {string} pageDivName ID of the div corresponding to the page. |
| - * @extends {EventTarget} |
|
Dan Beam
2014/08/13 22:20:08
this needs to match with the __proto__ line
Vitaly Pavlenko
2014/08/14 00:01:02
Done.
|
| */ |
| function Page(name, title, pageDivName) { |
| this.name = name; |
| @@ -35,7 +34,7 @@ cr.define('cr.ui.pageManager', function() { |
| /** |
| * The parent page of this page, or null for root pages. |
| - * @type {Page} |
| + * @type {cr.ui.pageManager.Page} |
| */ |
| parentPage: null, |
| @@ -243,6 +242,7 @@ cr.define('cr.ui.pageManager', function() { |
| pageDiv.page = this; |
| // NOTE: This is a hacky way to force the container to layout which |
| // will allow us to trigger the webkit transition. |
| + /** @suppress {uselessCode} */ |
| container.scrollTop; |
| this.pageDiv.removeAttribute('aria-hidden'); |