| 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);
|
| }
|
| };
|
|
|