gui/gui_reader.cc
changeset 1935 67b38d699ea7
child 2063 9535436aaa9f