Index: chrome/browser/resources/pdf/ui_manager.js |
diff --git a/chrome/browser/resources/pdf/ui_manager.js b/chrome/browser/resources/pdf/ui_manager.js |
index 53bb72010c0e9be5fc8afa9c4abe6fcc43105f55..f16535c81627a5a6e640a6fdc5d39ac2751c197b 100644 |
--- a/chrome/browser/resources/pdf/ui_manager.js |
+++ b/chrome/browser/resources/pdf/ui_manager.js |
@@ -35,9 +35,7 @@ UiManager.prototype = { |
for (var i = 0; i < this.panes_.length; i++) |
this.panes_[i].showIfOpenedByUser(); |
- if (this.uiTimeout_) |
- clearTimeout(this.uiTimeout_); |
- this.uiTimeout_ = setTimeout(this.hideUi_.bind(this), HIDE_TIMEOUT); |
+ this.hideUiAfterTimeout(); |
}, |
/** |
@@ -48,5 +46,14 @@ UiManager.prototype = { |
this.toolbar_.hide(); |
for (var i = 0; i < this.panes_.length; i++) |
this.panes_[i].hideIfOpenedByUser(); |
+ }, |
+ |
+ /** |
+ * Hide the toolbar after the HIDE_TIMEOUT has elapsed. |
+ */ |
+ hideUiAfterTimeout: function() { |
+ if (this.uiTimeout_) |
+ clearTimeout(this.uiTimeout_); |
+ this.uiTimeout_ = setTimeout(this.hideUi_.bind(this), HIDE_TIMEOUT); |
} |
}; |