src/settings_gui.cpp
changeset 6227 e38177bd77c4
parent 6012 065d7234a7a9
child 6247 7d81e3a5d803
equal deleted inserted replaced
6226:e2e9607ea3cc 6227:e38177bd77c4