src/settings_gui.cpp
changeset 7291 b77a88be0fd8
parent 7226 a8650d6ecb53
child 7293 e5b1b6ef83db
equal deleted inserted replaced
7290:647d6416cdfe 7291:b77a88be0fd8