gui/edit_win.h
changeset 1553 434f9add42cd
parent 1478 bc7ae573d77d