gui/graph_displayer_canvas-event.cc
changeset 1598 739df601808d
parent 1597 15b51d278bf0
child 1599 c2f95eac652b
equal deleted inserted replaced
14:af59a58be365 15:d4d50bc26fb6
   587 		    entry_coos.x=(edgetextmap[active_edge])->property_x().get_value();
   587 		    entry_coos.x=(edgetextmap[active_edge])->property_x().get_value();
   588 		    entry_coos.x-=edgetextmap[active_edge]->property_text_width().get_value()/2;
   588 		    entry_coos.x-=edgetextmap[active_edge]->property_text_width().get_value()/2;
   589 		    entry_coos.y=(edgetextmap[active_edge])->property_y().get_value();
   589 		    entry_coos.y=(edgetextmap[active_edge])->property_y().get_value();
   590 		    entry_coos.y-=edgetextmap[active_edge]->property_text_height().get_value()*1.5/2;
   590 		    entry_coos.y-=edgetextmap[active_edge]->property_text_height().get_value()*1.5/2;
   591 		    canvasentrywidget=new Gnome::Canvas::Widget(displayed_graph, entry_coos.x, entry_coos.y, entrywidget);
   591 		    canvasentrywidget=new Gnome::Canvas::Widget(displayed_graph, entry_coos.x, entry_coos.y, entrywidget);
   592 		    canvasentrywidget->property_width().set_value(edgetextmap[active_edge]->property_text_width().get_value()*1.5);
   592 		    canvasentrywidget->property_width().set_value(edgetextmap[active_edge]->property_text_width().get_value()*4);
   593 		    canvasentrywidget->property_height().set_value(edgetextmap[active_edge]->property_text_height().get_value()*1.5);
   593 		    canvasentrywidget->property_height().set_value(edgetextmap[active_edge]->property_text_height().get_value()*1.5);
   594 		  }
   594 		  }
   595 	      }
   595 	      }
   596 	  }
   596 	  }
   597 	//if it was not an edge...
   597 	//if it was not an edge...
   765 		    switch(actual_tool)
   765 		    switch(actual_tool)
   766 		      {
   766 		      {
   767 		      case EDGE_MAP_EDIT:
   767 		      case EDGE_MAP_EDIT:
   768 			edgetextmap[active_edge]->property_text().set_value(ostr.str());
   768 			edgetextmap[active_edge]->property_text().set_value(ostr.str());
   769 			(*(mapstorage.edgemap_storage)[edgemap_to_edit])[active_edge]=mapvalue_d;
   769 			(*(mapstorage.edgemap_storage)[edgemap_to_edit])[active_edge]=mapvalue_d;
       
   770 			mapwin->updateEdge(active_edge);
   770 			break;
   771 			break;
   771 		      case NODE_MAP_EDIT:
   772 		      case NODE_MAP_EDIT:
   772 			nodetextmap[active_node]->property_text().set_value(ostr.str());
   773 			nodetextmap[active_node]->property_text().set_value(ostr.str());
   773 			(*(mapstorage.nodemap_storage)[nodemap_to_edit])[active_node]=mapvalue_d;
   774 			(*(mapstorage.nodemap_storage)[nodemap_to_edit])[active_node]=mapvalue_d;
       
   775 			mapwin->updateNode(active_node);
   774 			break;
   776 			break;
   775 		      default:
   777 		      default:
   776 			break;
   778 			break;
   777 		      }
   779 		      }
   778 		    entrywidget.hide();
   780 		    entrywidget.hide();