Une adresse pour chaque écran, et un lien pour chaque position (0e.4) #43

Manually merged
pierre merged 9 commits from adresses-ecrans into main 2026-11-09 18:06:52 +00:00
Showing only changes of commit 9a5a0bb677 - Show all commits
+3 -1
View File
@@ -646,7 +646,9 @@ export function startApp(options: AppOptions): void {
/** Une seule vibration par fin de partie. */
function announceEnd(g: Game): void {
const head = g.journal.head;
if (g.state.phase !== "over" || head === announcedEnd) {
// Pendant l'animation du dernier coup, une prise vibrerait après
// la fin et la remplacerait : on l'annonce au dessin qui suit.
if (g.state.phase !== "over" || head === announcedEnd || animating) {
return;
}
announcedEnd = head;