preferences.py
changeset 128 2a8a190f8aee
parent 79 43ac75054d5c
child 129 67a30d680f60
equal deleted inserted replaced
127:5746705a2719 128:2a8a190f8aee