equal
deleted
inserted
replaced
5 gd_canvas=new GraphDisplayerCanvas(*this); |
5 gd_canvas=new GraphDisplayerCanvas(*this); |
6 add(*gd_canvas); |
6 add(*gd_canvas); |
7 |
7 |
8 //connecting signals - controller character |
8 //connecting signals - controller character |
9 mapstorage.signal_prop_ch().connect(sigc::mem_fun(*gd_canvas, &GraphDisplayerCanvas::propertyChange)); |
9 mapstorage.signal_prop_ch().connect(sigc::mem_fun(*gd_canvas, &GraphDisplayerCanvas::propertyChange)); |
|
10 mapstorage.signal_node_map_ch().connect(sigc::mem_fun(*this, &NoteBookTab::registerNewNodeMap)); |
|
11 mapstorage.signal_edge_map_ch().connect(sigc::mem_fun(*this, &NoteBookTab::registerNewEdgeMap)); |
10 show_all_children(); |
12 show_all_children(); |
11 show(); |
13 show(); |
12 } |
14 } |
13 |
15 |
14 void NoteBookTab::readFile(const std::string &file) |
16 void NoteBookTab::readFile(const std::string &file) |