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/search.html | |
| 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/search.html')
| -rw-r--r-- | ext/search.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ext/search.html b/ext/search.html index 65e04949..d403effb 100644 --- a/ext/search.html +++ b/ext/search.html @@ -99,7 +99,7 @@ <script src="/js/input/hotkey-util.js"></script> <script src="/js/media/media-loader.js"></script> <script src="/js/dom/popup-menu.js"></script> -<script src="/js/dom/window-scroll.js"></script> +<script src="/js/dom/scroll-element.js"></script> <script src="/js/language/text-scanner.js"></script> <script src="/js/dom/html-template-collection.js"></script> <script src="/js/media/text-to-speech-audio.js"></script> |