gui/mapstorage.cc
changeset 1887 22fdc00894aa
parent 1878 409a31271efd
child 1888 eed01ce27087
equal deleted inserted replaced
20:d468a8e9c34d 21:75908f6b3607
   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 }