Grazie mille Giacomo!
Comunque credo di aver fatto una domanda piuttosto sciocca.
Credevo, erroneamente, che i font di tipo 3 potessero essere solo bitmap.
Non vedendo alcun carattere bitmap nei mie grafici, pensavo di
rimuovere questi font bitmap per salvare spazio.
Ma in realtà dal tuo post ho capito che questi font di tipo 3 non sono
affatto bitmap (ho dato anche un’occhiata su internet) ma sono proprio
quelli usati da Origin per le etichette e tutto il resto!
La conclusione è che, a parte il fatto che Origin usa nomi/font strani, non
c’è alcun font inutile in quei file! Niente che possa essere rimosso.
Mi dispiace solo di averti fatto perdere tempo.
Almeno ho imparato che l’associazione type 3 = bitmap, type 1 = vettoriale
è sbagliata.
Grazie mille.
Ciao ciao.
Fra