preferences.py
changeset 93 48fca00689e3
parent 79 43ac75054d5c
child 129 67a30d680f60
equal deleted inserted replaced
92:74f6a0b01ddf 93:48fca00689e3