src/settings_gui.cpp
changeset 9230 1c0a7c2ee6e5
parent 9144 3e82211b57c5
child 9281 d8cd9ac52a68
child 10655 b862a4add8b0
equal deleted inserted replaced
9229:7fa9ce47e9c0 9230:1c0a7c2ee6e5