gui/broken_edge.h
changeset 1524 587a823bcdd0
parent 1505 7121597da9ba
child 1606 dc4ea2010dee
     1.1 --- a/gui/broken_edge.h	Wed Jun 29 12:52:20 2005 +0000
     1.2 +++ b/gui/broken_edge.h	Wed Jun 29 15:41:33 2005 +0000
     1.3 @@ -26,12 +26,12 @@
     1.4    double clicked_x, clicked_y;
     1.5  
     1.6    ///event handler for forming edges
     1.7 -  bool edge_former_event_handler(GdkEvent*);
     1.8 +  bool edgeFormerEventHandler(GdkEvent*);
     1.9   public:
    1.10    BrokenEdge(Gnome::Canvas::Group &, Gnome::Canvas::Points, GraphDisplayerCanvas &);
    1.11    ~BrokenEdge();
    1.12 -  void set_points(Gnome::Canvas::Points, bool move=false);
    1.13 -  xy<double> get_arrow_pos();
    1.14 +  void setPoints(Gnome::Canvas::Points, bool move=false);
    1.15 +  xy<double> getArrowPos();
    1.16  };
    1.17  
    1.18