preferences.py
changeset 100 147be2910b02
parent 79 43ac75054d5c
child 129 67a30d680f60
equal deleted inserted replaced
99:8719ac564b22 100:147be2910b02