preferences.py
changeset 123 3297596ab606
parent 79 43ac75054d5c
child 129 67a30d680f60
equal deleted inserted replaced
122:2d75e13397a8 123:3297596ab606