gui/broken_edge.h
changeset 1524 587a823bcdd0
parent 1505 7121597da9ba
child 1606 dc4ea2010dee
equal deleted inserted replaced
4:8d45e0437e17 5:e74f17d746ee
    24   ///At this location was the mousebutton pressed.
    24   ///At this location was the mousebutton pressed.
    25   ///It helps to calculate the distance of dragging.
    25   ///It helps to calculate the distance of dragging.
    26   double clicked_x, clicked_y;
    26   double clicked_x, clicked_y;
    27 
    27 
    28   ///event handler for forming edges
    28   ///event handler for forming edges
    29   bool edge_former_event_handler(GdkEvent*);
    29   bool edgeFormerEventHandler(GdkEvent*);
    30  public:
    30  public:
    31   BrokenEdge(Gnome::Canvas::Group &, Gnome::Canvas::Points, GraphDisplayerCanvas &);
    31   BrokenEdge(Gnome::Canvas::Group &, Gnome::Canvas::Points, GraphDisplayerCanvas &);
    32   ~BrokenEdge();
    32   ~BrokenEdge();
    33   void set_points(Gnome::Canvas::Points, bool move=false);
    33   void setPoints(Gnome::Canvas::Points, bool move=false);
    34   xy<double> get_arrow_pos();
    34   xy<double> getArrowPos();
    35 };
    35 };
    36 
    36 
    37 
    37 
    38 #endif //BROKEN_EDGE_H
    38 #endif //BROKEN_EDGE_H
    39 
    39