diff options
| author | 2022-01-09 18:21:40 +0100 | |
|---|---|---|
| committer | 2022-01-09 18:21:40 +0100 | |
| commit | 4e2dff4591bb2062311c1d5bfcdca3ade2a76d16 (patch) | |
| tree | a876374a709f04f919b35ae8e1e53774a0aca39c /p/scripts | |
| parent | 9dbbe924c5e54b5dbe486873a9b31a28127c8e62 (diff) | |
Add spell checking with typos (#4138)
* Add spell checking with typos
Implement https://github.com/FreshRSS/FreshRSS/pull/4134#issuecomment-1008027558
* GitHub Actions attempt
* Quiet wget
* Makefile
Diffstat (limited to 'p/scripts')
| -rw-r--r-- | p/scripts/global_view.js | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/p/scripts/global_view.js b/p/scripts/global_view.js index 366729485..2b57ecf9e 100644 --- a/p/scripts/global_view.js +++ b/p/scripts/global_view.js @@ -34,9 +34,9 @@ function load_panel(link) { document.getElementById('overlay').classList.add('visible'); panel.classList.add('visible'); - // force le démarrage du scroll en haut. - // Sans ça, si l’on scroll en lisant une catégorie par exemple, - // en en ouvrant une autre ensuite, on se retrouve au même point de scroll + // Force the initial scroll to the top. + // Without it, if one scrolls down in a category (for instance) + // and then open another one, we risk being at the same scroll position panel.scrollTop = 0; document.documentElement.scrollTop = 0; |
