gui/new_map_win.cc
changeset 1729 06f939455cb1
parent 1593 a8a007f1c01c
child 1737 dc821d2668c1
equal deleted inserted replaced
0:81ddc398da2f 1:df1e552678aa
    87 
    87 
    88   std::string mapname=name.get_text();
    88   std::string mapname=name.get_text();
    89 
    89 
    90   if((point_num<=1)&&(valid_double)&&(!mapname.empty()))
    90   if((point_num<=1)&&(valid_double)&&(!mapname.empty()))
    91     {
    91     {
       
    92       int abortion=0;
    92       if(edge.get_active())
    93       if(edge.get_active())
    93 	{
    94 	{
    94 	  gdc.addNewEdgeMap(def_val,mapname);
    95 	  abortion=gdc.addNewEdgeMap(def_val,mapname);
    95 	}
    96 	}
    96       else
    97       else
    97 	{
    98 	{
    98 	  gdc.addNewNodeMap(def_val,mapname);
    99 	  abortion=gdc.addNewNodeMap(def_val,mapname);
    99 	}
   100 	}
   100       name.set_text("");
   101       if(!abortion)
   101       default_value.set_text("0");
   102 	{
   102       hide();
   103 	  name.set_text("");
       
   104 	  default_value.set_text("0");
       
   105 	  hide();
       
   106 	}
   103     }
   107     }
   104 }
   108 }
   105 
   109