diff options
author | chunghha | 2022-04-27 19:21:20 +0000 |
---|---|---|
committer | GitHub | 2022-04-27 19:21:20 +0000 |
commit | 3a398eec56c907f9d0f166e77242eb13ded229bc (patch) | |
tree | 4411668f181c0a1ae31b6599a50c196bccd709e6 /book/theme/book.js | |
parent | 2e46961886cb40b45a03a91c59823b0e437a9867 (diff) |
fix typos (#2304)
Diffstat (limited to 'book/theme/book.js')
-rw-r--r-- | book/theme/book.js | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/book/theme/book.js b/book/theme/book.js index 5e386369..40736183 100644 --- a/book/theme/book.js +++ b/book/theme/book.js @@ -601,10 +601,10 @@ function playground_text(playground) { }); })(); -(function controllMenu() { +(function controlMenu() { var menu = document.getElementById('menu-bar'); - (function controllPosition() { + (function controlPosition() { var scrollTop = document.scrollingElement.scrollTop; var prevScrollTop = scrollTop; var minMenuY = -menu.clientHeight - 50; @@ -647,7 +647,7 @@ function playground_text(playground) { prevScrollTop = scrollTop; }, { passive: true }); })(); - (function controllBorder() { + (function controlBorder() { menu.classList.remove('bordered'); document.addEventListener('scroll', function () { if (menu.offsetTop === 0) { |