gui/edit_win.cc
changeset 1476 182da222fceb
child 1478 bc7ae573d77d