| 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..c420a0d2b284da9a1df795bc37e3579b4a0f6f7d 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,7 @@ 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}
|
| + * @extends {cr.EventTarget}
|
| */
|
| function Page(name, title, pageDivName) {
|
| this.name = name;
|
| @@ -35,7 +35,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 +243,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');
|
|
|