0.6.8: icone dei tasti alla misura del tema (iconSizeExtraSmall), etichette che ci stanno

Le icone della 0.6.7 erano disegnate a piena misura e il pulsante Silica le
portava a Theme.iconSizeMedium (64 px, misurato sullo screenshot del telefono):
in un tasto largo un terzo di schermo restavano 41 px di testo e le etichette
uscivano tagliate. Ora il tasto dichiara icon.width/height:
Theme.iconSizeExtraSmall e i glifi riempiono il loro riquadro.

Con la geometria vera (tasto 161 px, rientri 16, distacco 24) le etichette
Assenza/Torna/Altro e Away/Home/More ci stanno con margine; "Comandi" (8
lettere) no: il tasto dice Altro, la pagina resta Comandi impianto.

Il pulsante Silica non espone il carattere, quindi il testo non si puo'
rimpicciolire: l'unica leva e' l'icona. Prova ripetibile con i numeri misurati
in docs/icona/tasti-alla-misura-vera.png.

scripts/make_glyphs.py

@@ -18,7 +18,7 @@ import pathlib
 from PIL import Image, ImageDraw
 
 BASE = 688          # si disegna grande e si riduce: bordi puliti a ogni taglia
-OUT = 172           # come l'icona piu' grande dell'app, abbondante per il tasto
+OUT = 64            # il riquadro vero lo decide il tema (iconSizeExtraSmall)
 DEST = pathlib.Path(__file__).resolve().parent.parent / "qml" / "icons"
 BIANCO = (255, 255, 255, 255)
 VUOTO = (0, 0, 0, 0)
@@ -75,11 +75,13 @@ def comandi(d, cx, cy, w, h):
 def main():
     DEST.mkdir(parents=True, exist_ok=True)
     disegni = (
-        ("quick-boost.png", fiamma, 0.58),
-        ("quick-away.png", casa, 0.74),
-        ("quick-commands.png", comandi, 0.82),
+        ("quick-boost.png", fiamma, 0.62),
+        ("quick-away.png", casa, 0.80),
+        ("quick-commands.png", comandi, 0.90),
     )
-    lato = BASE * 0.72                    # margine generoso: il tasto ha il suo
+    # il glifo riempie il suo riquadro (un filo di margine): la misura sul
+    # telefono la decide Theme.iconSizeExtraSmall nel pulsante, non il file
+    lato = BASE * 0.80
     for nome, disegno, strettezza in disegni:
         img = nuova()
         d = ImageDraw.Draw(img)