diff options
author | toasted-nutbread <toasted-nutbread@users.noreply.github.com> | 2021-02-14 11:36:44 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-02-14 11:36:44 -0500 |
commit | 94201ed44ac1835637e77a6a7f583aca70bbf2d3 (patch) | |
tree | ab9b5ba3af64984c8e1697013e33ca2ee6b5a8b2 /ext/js/display | |
parent | 5268c5d1bc079ac99e99cf04853d3dea22def403 (diff) |
Rename window scroll (#1390)
* Rename WindowScroll to ScrollElement
* Rename window-scroll.js to scroll-element.js
* Update global order
Diffstat (limited to 'ext/js/display')
-rw-r--r-- | ext/js/display/display.js | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/ext/js/display/display.js b/ext/js/display/display.js index c522fe14..fe4160a6 100644 --- a/ext/js/display/display.js +++ b/ext/js/display/display.js @@ -29,8 +29,8 @@ * PopupFactory * PopupMenu * QueryParser + * ScrollElement * TextScanner - * WindowScroll * api * dynamicLoader */ @@ -90,7 +90,7 @@ class Display extends EventDispatcher { this._updateAdderButtonsPromise = Promise.resolve(); this._contentScrollElement = document.querySelector('#content-scroll'); this._contentScrollBodyElement = document.querySelector('#content-body'); - this._windowScroll = new WindowScroll(this._contentScrollElement); + this._windowScroll = new ScrollElement(this._contentScrollElement); this._closeButton = document.querySelector('#close-button'); this._navigationPreviousButton = document.querySelector('#navigate-previous-button'); this._navigationNextButton = document.querySelector('#navigate-next-button'); |