preferences.py
changeset 117 f0b4097f5781
parent 79 43ac75054d5c
child 129 67a30d680f60
equal deleted inserted replaced
116:81da986f6ed5 117:f0b4097f5781