gui/graph_displayer_canvas-zoom.cc
Fri, 29 Jul 2005 12:01:37 +0000 added support for saving files
Fri, 24 Jun 2005 07:58:18 +0000 File graph_displayer is split in functional parts.