src/window_gui.h
changeset 8627 79cb9a4fb8d1
parent 8586 cb0e7e00f1d2
child 8737 4405e2e80db6
equal deleted inserted replaced
8626:9781464622be 8627:79cb9a4fb8d1