preferences.py
changeset 98 8c6e36849f9a
parent 79 43ac75054d5c
child 129 67a30d680f60
equal deleted inserted replaced
97:6165f1ba458d 98:8c6e36849f9a