settings_gui.c
changeset 1488 cf51e91f3b98
parent 1477 2174a73b11c9
child 1500 228f77e88adf
equal deleted inserted replaced
1487:d3e8fae38e6c 1488:cf51e91f3b98