Index: chrome/browser/resources/pdf/elements/viewer-page-indicator/viewer-page-indicator.js |
diff --git a/chrome/browser/resources/pdf/elements/viewer-page-indicator/viewer-page-indicator.js b/chrome/browser/resources/pdf/elements/viewer-page-indicator/viewer-page-indicator.js |
index 65b1be2ffc3ae948e3d305794ba4803fc3151d2a..09f1b8012388bdfca4d9cd9fdf78f80d8b44ad9f 100644 |
--- a/chrome/browser/resources/pdf/elements/viewer-page-indicator/viewer-page-indicator.js |
+++ b/chrome/browser/resources/pdf/elements/viewer-page-indicator/viewer-page-indicator.js |
@@ -23,8 +23,10 @@ Polymer({ |
} |
}, |
+ /** @type {number|undefined} */ |
timerId: undefined, |
+ /** @override */ |
ready: function() { |
var callback = this.fadeIn.bind(this, 2000); |
window.addEventListener('scroll', function() { |
@@ -36,6 +38,7 @@ Polymer({ |
this.fadeIn(6000); |
}, |
+ /** @param {number} displayTime */ |
fadeIn: function(displayTime) { |
var percent = window.scrollY / |
(document.body.scrollHeight - |