equal
deleted
inserted
replaced
284 public: |
284 public: |
285 |
285 |
286 ///Returns the actual tool in hand |
286 ///Returns the actual tool in hand |
287 int getActualTool(); |
287 int getActualTool(); |
288 |
288 |
|
289 ///Sets node representation settings |
|
290 void setNodeView(bool, double, double, double); |
|
291 |
|
292 ///Gets node representation settings |
|
293 void getNodeView(bool &, double&, double&, double&); |
|
294 |
289 ///draws the graph |
295 ///draws the graph |
290 |
296 |
291 ///Called when opening a file. |
297 ///Called when opening a file. |
292 void drawGraph(); |
298 void drawGraph(); |
293 |
299 |
375 ///Map displayed by label can be edited. |
381 ///Map displayed by label can be edited. |
376 std::string edgemap_to_edit; |
382 std::string edgemap_to_edit; |
377 |
383 |
378 static const int zoom_step = 5; |
384 static const int zoom_step = 5; |
379 |
385 |
|
386 ///Is node radius autoscaled |
|
387 bool autoscale; |
|
388 |
|
389 ///Minimum node radius |
|
390 double radius_min; |
|
391 |
|
392 ///Maximum node radius |
|
393 double radius_max; |
|
394 |
|
395 ///Node radius unit |
|
396 double radius_unit; |
|
397 |
380 private: |
398 private: |
381 |
399 |
382 ///reference to the container, in which the canvas is |
400 ///reference to the container, in which the canvas is |
383 NoteBookTab & mytab; |
401 NoteBookTab & mytab; |
384 |
402 |