gui/tools/migrate.py
def migrate_font(font):
    "Convert PythonCard font description to gui2py style"
    if 'faceName' in font:
        font['face'] = font.pop('faceName')
    if 'family' in font and font['family'] == 'sansSerif':
        font['family'] = 'sans serif'
    return font
def migrate_font(font):
    "Convert PythonCard font description to gui2py style"
    if 'faceName' in font:
        font['face'] = font.pop('faceName')
    if 'family' in font and font['family'] == 'sansSerif':
        font['family'] = 'sans serif'
    return font
Convert PythonCard font description to gui2py style