diff options
| author | 2014-01-07 20:38:45 +0100 | |
|---|---|---|
| committer | 2014-01-07 20:38:45 +0100 | |
| commit | b381d2a592ebe4e3446e342fdcf961d76f33e89a (patch) | |
| tree | bbb84006c88e3cc113bfb68cefe1b1ffe39950c6 /p/scripts | |
| parent | 4df46b3e62ff6a8c2118cfd972bbbe59ecb16484 (diff) | |
Un peu de typographie
* Remplace les tirets de soustraction par points médians ou des tirets
cadratins (si c'est trop long, nous pourrions mettre des
demi-cadratins).
* Met les abréviations des jours anglais en exposant, comme
`3<sup>rd</sup>`
Diffstat (limited to 'p/scripts')
| -rw-r--r-- | p/scripts/main.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/p/scripts/main.js b/p/scripts/main.js index 1a41dac9c..8646d9b72 100644 --- a/p/scripts/main.js +++ b/p/scripts/main.js @@ -87,7 +87,7 @@ function mark_read(active, only_not_read) { } //Update unread: title - document.title = document.title.replace(/((?: \(\d+\))?)( - .*?)((?: \(\d+\))?)$/, function (m, p1, p2, p3) { + document.title = document.title.replace(/((?: \(\d+\))?)( · .*?)((?: \(\d+\))?)$/, function (m, p1, p2, p3) { return incLabel(p1, inc) + p2 + incLabel(p3, feed_priority > 0 ? inc : 0); }); }); |
