It looks like
With default text at Accujen12:
StrikeFont familyName: 'Accujen' size: 15 emphasized:0 ==> a StrikeFont(Accujen12 15)
But defaut text at Accujen10: StrikeFont familyName: 'Accujen' size: 12 emphasized:0 ==> a StrikeFont(Accujen09 12)
The problem seems to come from the font constructor which is external to Magma.
Changing the constructor #familyName:pointSize:emphasized: fix the problem there, but I don't if it is ok for the rest.
StrikeFont>>maAsStorageObject ^ DiskProxy global: #StrikeFont selector: #familyName:pointSize:emphasized: args: { self familyName. self pointSize. self emphasis }
May be StrikeFontSet should be updated the same.
Hilaire