0.7.2: il tasto del boost diventa Stop mentre e' in corso

In Home e in copertina: un tocco ferma il boost invece di farne ripartire un
altro (dalla copertina era il caso peggiore). Il conto alla rovescia ora prende
il posto del suggerimento nella stessa riga e con lo stesso carattere: prima,
essendo piu' alto, spingeva giu' i tasti delle azioni rapide.
Glifo di stop disegnato con scripts/make_glyphs.py. Catalogo 199 voci.

docs/PIANO.md

@@ -435,7 +435,36 @@ la scatola, cioe' **sopra** l'etichetta che sporge. Da li' l'impressione che si
   riga della Home**, cosi' se la disposizione non torna si legge dal registro
   quale riga finisce dove invece di dedurlo da uno screenshot.
 
-## 13. Conseguenze dell'uso reale (0.7.0)
+## 13. Il tasto del boost diventa Stop, e la riga che spostava i tasti — v0.7.2
+
+Carlo: *"Il boost funziona ma la scritta sposta in basso i pulsanti facendoli
+coprire. Il pulsante di avvio boost dovrebbe diventare stop boost se il boost e'
+attivo"*.
+
+Due cose distinte, e la prima va detta perche' evita confusione: la riga che
+**copriva** i tasti era il difetto di 0.7.1 (il tasto piu' basso del contenuto),
+che al momento della segnalazione non era ancora installata sul telefono -- il
+bridge si aggiorna da solo sul server, l'app no. La riga che invece li
+**spostava** era nuova e vera: il conto alla rovescia prendeva il posto del
+suggerimento ma con un carattere piu' grande (`fontSizeSmall` contro
+`fontSizeExtraSmall`), quindi la Home cresceva di una decina di pixel e tutto
+scendeva. Ora e' una riga sola, di altezza fissa, con il carattere del
+suggerimento: sostituirsi non sposta piu' niente.
+
+**Come è stato fatto (0.7.2).**
+- tasto del boost condizionale (`Stop` con il glifo di stop quando `boostActive`)
+  **anche in copertina**: una copertina che riavvia il boost quando vuoi fermarlo
+  e' peggio di un tasto che non fa niente;
+- `quick-boost-stop.png` disegnato in casa con `scripts/make_glyphs.py`, come gli
+  altri tre glifi;
+- "Stop boost" per intero non ci sta accanto all'icona (92 px contro 73): resta
+  `Stop`, il senso lo porta il glifo. E' `tests/label_fit_check.py` a dirlo, che
+  adesso legge anche le etichette condizionali;
+- `tests/cover_action_check.py` legge tutti i comandi dell'azione e tutte le
+  icone citate: prima si aspettava un solo letterale e su un invio condizionale
+  segnalava un problema inesistente.
+
+## 14. Conseguenze dell'uso reale (0.7.0)
 
 Deciso con l'uso, non in anticipo: