preferences.py
changeset 126 2528cef45fe3
parent 79 43ac75054d5c
child 129 67a30d680f60
equal deleted inserted replaced
125:45e56cbf9086 126:2528cef45fe3