gui/broken_edge.h
changeset 1512 e54392395480
parent 1501 39d59aee2a1a
child 1524 587a823bcdd0
equal deleted inserted replaced
3:adf88a6aaf8b 4:8d45e0437e17
     7 
     7 
     8 #include <all_include.h>
     8 #include <all_include.h>
     9 #include <libgnomecanvasmm.h>
     9 #include <libgnomecanvasmm.h>
    10 #include <libgnomecanvasmm/polygon.h>
    10 #include <libgnomecanvasmm/polygon.h>
    11 #include <graph_displayer_canvas.h>
    11 #include <graph_displayer_canvas.h>
       
    12 #include <lemon/xy.h>
    12 
    13 
    13 class BrokenEdge : public Gnome::Canvas::Line
    14 class BrokenEdge : public Gnome::Canvas::Line
    14 {
    15 {
    15   GraphDisplayerCanvas & gdc;
    16   GraphDisplayerCanvas & gdc;
    16   Gnome::Canvas::Polygon * arrow;
    17   Gnome::Canvas::Polygon * arrow;
    28   bool edge_former_event_handler(GdkEvent*);
    29   bool edge_former_event_handler(GdkEvent*);
    29  public:
    30  public:
    30   BrokenEdge(Gnome::Canvas::Group &, Gnome::Canvas::Points, GraphDisplayerCanvas &);
    31   BrokenEdge(Gnome::Canvas::Group &, Gnome::Canvas::Points, GraphDisplayerCanvas &);
    31   ~BrokenEdge();
    32   ~BrokenEdge();
    32   void set_points(Gnome::Canvas::Points, bool move=false);
    33   void set_points(Gnome::Canvas::Points, bool move=false);
       
    34   xy<double> get_arrow_pos();
    33 };
    35 };
    34 
    36 
    35 
    37 
    36 #endif //BROKEN_EDGE_H
    38 #endif //BROKEN_EDGE_H
    37 
    39