diff options
| author |  Alexandre Alapetite <alexandre@alapetite.fr>
| 2022-01-08 21:58:55 +0100 |
|---|---|---|
| committer |  GitHub <noreply@github.com>
| 2022-01-08 21:58:55 +0100 |
| commit | 1acd3ab09be1b65bfd6122ee351490c3b5527bb8 (patch) | |
| tree | f11de558e7a09522a45d1c155d9707ecda6bf1eb /p/scripts | |
| parent | 916df412f5b6f7fb9bcfb705a3c8c23e35304410 (diff) | |
Use typographic quotes (#4133)
* Use typographic quotes
* A few fixes
* Fix
* Fix not saved
* Implement feedback
* Detail
* Revert spoken English fixes
Left for a future dedicated discussion
* More reverts
* Final reverts
* Final minor
Diffstat (limited to 'p/scripts')
| -rw-r--r-- | p/scripts/global_view.js | 2 | ||||
| -rw-r--r-- | p/scripts/main.js | 2 | ||||
| -rw-r--r-- | p/scripts/statsWithChartjs.js | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/p/scripts/global_view.js b/p/scripts/global_view.js index 99dc1d87e..366729485 100644 --- a/p/scripts/global_view.js +++ b/p/scripts/global_view.js @@ -35,7 +35,7 @@ function load_panel(link) { 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, + // 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 panel.scrollTop = 0; document.documentElement.scrollTop = 0; diff --git a/p/scripts/main.js b/p/scripts/main.js index ca3bb2b9d..e4642dbcb 100644 --- a/p/scripts/main.js +++ b/p/scripts/main.js @@ -435,7 +435,7 @@ function toggleContent(new_active, old_active, skipping) { } if (skipping) { - // when skipping, this feels more natural if it's not so near the top + // when skipping, this feels more natural if it’s not so near the top new_pos -= document.body.clientHeight / 4; } if (relative_move) { diff --git a/p/scripts/statsWithChartjs.js b/p/scripts/statsWithChartjs.js index 82887226f..5656fe944 100644 --- a/p/scripts/statsWithChartjs.js +++ b/p/scripts/statsWithChartjs.js @@ -5,7 +5,7 @@ function initCharts() { if (!window.Chart) { if (window.console) { - console.log('FreshRSS is waiting for Chart.js...'); + console.log('FreshRSS is waiting for Chart.js…'); } window.setTimeout(initCharts, 25); return; |