equal
deleted
inserted
replaced
141 Graph::NodeMap<Gnome::Canvas::Text *> nodetextmap; |
141 Graph::NodeMap<Gnome::Canvas::Text *> nodetextmap; |
142 |
142 |
143 ///Group of graphical elements of displayed_graph |
143 ///Group of graphical elements of displayed_graph |
144 Gnome::Canvas::Group displayed_graph; |
144 Gnome::Canvas::Group displayed_graph; |
145 |
145 |
|
146 public: |
146 ///Here we store the maps that can be displayed through properties. |
147 ///Here we store the maps that can be displayed through properties. |
147 MapStorage & mapstorage; |
148 MapStorage & mapstorage; |
148 |
149 |
|
150 private: |
149 ///Indicates whether the button of mouse is pressed or not |
151 ///Indicates whether the button of mouse is pressed or not |
150 int isbutton; |
152 int isbutton; |
151 |
153 |
152 ///Stores the actual tool in hand |
154 ///Stores the actual tool in hand |
153 int actual_tool; |
155 int actual_tool; |
167 |
169 |
168 std::string nodemap_to_edit, edgemap_to_edit; |
170 std::string nodemap_to_edit, edgemap_to_edit; |
169 |
171 |
170 static const int zoom_step = 5; |
172 static const int zoom_step = 5; |
171 |
173 |
|
174 public: |
172 ///We need to store mapwin, to be able to ask the appropriate values for properties of new items. |
175 ///We need to store mapwin, to be able to ask the appropriate values for properties of new items. |
173 MapWin & mapwin; |
176 MapWin & mapwin; |
|
177 |
|
178 private: |
174 |
179 |
175 ///pointer to the parent window |
180 ///pointer to the parent window |
176 Gtk::Window * parentwin; |
181 Gtk::Window * parentwin; |
177 |
182 |
178 }; |
183 }; |