gui/graph_displayer_canvas-zoom.cc
changeset 1819 fd82adfbe905
parent 1777 a70cee06ae9c
equal deleted inserted replaced
3:3f14dee34afb 4:895620dc9c73
     1 #include "graph_displayer_canvas.h"
     1 #include "graph_displayer_canvas.h"
     2 #include "broken_edge.h"
       
     3 #include <cmath>
     2 #include <cmath>
     4 
     3 
     5 void GraphDisplayerCanvas::zoomIn()
     4 void GraphDisplayerCanvas::zoomIn()
     6 {
     5 {
     7   set_pixels_per_unit(
     6   set_pixels_per_unit(