src/gui/graph-displayer.cc
changeset 1434 d8475431bbbb