src/gui.h
changeset 7271 e99e02b7a495
parent 7166 3937d5ea59df
child 7486 d130c10f4dab
equal deleted inserted replaced
7270:f38724fb558a 7271:e99e02b7a495