gui/mapselector.h
changeset 1733 5e0d97823ba2
parent 1731 616bc933c2bc
child 1737 dc821d2668c1
equal deleted inserted replaced
0:13c4ad030410 1:e5bb6eecc3db
     5 
     5 
     6 class MapSelector;
     6 class MapSelector;
     7 
     7 
     8 #include "all_include.h"
     8 #include "all_include.h"
     9 #include "mapstorage.h"
     9 #include "mapstorage.h"
    10 #include "map_win.h"
    10 #include "new_map_win.h"
    11 #include "graph_displayer_canvas.h"
    11 #include "graph_displayer_canvas.h"
    12 #include <libgnomecanvasmm.h>
    12 #include <libgnomecanvasmm.h>
    13 #include <libgnomecanvasmm/polygon.h>
    13 #include <libgnomecanvasmm/polygon.h>
    14 
    14 
    15 class MapSelector : public Gtk::HBox
    15 class MapSelector : public Gtk::HBox
    16 {
    16 {
    17 protected:
    17 protected:
    18   GraphDisplayerCanvas & gdc;
    18   GraphDisplayerCanvas & gdc;
    19   ///The \ref MapStorage in which the visualizable maps are stored
    19   ///The \ref MapStorage in which the visualizable maps are stored
    20   MapStorage & ms;
    20   MapStorage & ms;
    21   MapWin & mw;
    21   NewMapWin & nmw;
    22 
    22 
    23   int id;
    23   int id;
    24 
    24 
    25   bool itisedge;
    25   bool itisedge;
    26 
    26 
    38   Edge edge_to_update;
    38   Edge edge_to_update;
    39 
    39 
    40 
    40 
    41 public:
    41 public:
    42 
    42 
    43   MapSelector(GraphDisplayerCanvas &, MapStorage &, MapWin &, int, bool);
    43   MapSelector(GraphDisplayerCanvas &, MapStorage &, NewMapWin &, int, bool);
    44 
    44 
    45   void update_list();
    45   void update_list();
    46 
    46 
    47   ///If a radiobutton is clicked, this function determines
    47   ///If a radiobutton is clicked, this function determines
    48   ///which button was that and after that calls the
    48   ///which button was that and after that calls the