preferences.py
changeset 108 d0aca7894fc5
parent 79 43ac75054d5c
child 129 67a30d680f60
equal deleted inserted replaced
107:67f48e288102 108:d0aca7894fc5