mapstorage.cc
branchgui
changeset 111 ab3107255754
parent 108 bf355fd6563e
child 118 cfd49e5c8723
equal deleted inserted replaced
20:00a85ca77fa1 21:744a90c2e90a
   436 
   436 
   437 void MapStorage::ArrowPosReadOK()
   437 void MapStorage::ArrowPosReadOK()
   438 {
   438 {
   439   arrow_pos_read_ok = true;
   439   arrow_pos_read_ok = true;
   440 }
   440 }
       
   441 
       
   442 void MapStorage::mapChanged(bool itisedge, std::string mapname)
       
   443 {
       
   444   if(itisedge)
       
   445     {
       
   446       for(int i=0;i<EDGE_PROPERTY_NUM;i++)
       
   447 	{
       
   448 	  if(active_edgemaps[i]==mapname)
       
   449 	    {
       
   450 	      signal_prop.emit(itisedge, i);
       
   451 	    }
       
   452 	}
       
   453     }
       
   454   else
       
   455     {
       
   456       for(int i=0;i<NODE_PROPERTY_NUM;i++)
       
   457 	{
       
   458 	  if(active_nodemaps[i]==mapname)
       
   459 	    {
       
   460 	      signal_prop.emit(itisedge, i);
       
   461 	    }
       
   462 	}
       
   463     }
       
   464 }