gui/new_map_win.cc
changeset 1737 dc821d2668c1
parent 1597 15b51d278bf0
child 1814 0f02ced2e2ba
equal deleted inserted replaced
1:df1e552678aa 2:30ad22cef377
    58 
    58 
    59   show_all_children();
    59   show_all_children();
    60 
    60 
    61 }
    61 }
    62 
    62 
       
    63 void NewMapWin::showByPreChoose(bool itisedge)
       
    64 {
       
    65   if(itisedge)
       
    66     {
       
    67       edge.set_active();
       
    68     }
       
    69   else
       
    70     {
       
    71       node.set_active();
       
    72     }
       
    73   node.hide();
       
    74   edge.hide();
       
    75   show();
       
    76 }
       
    77 
    63 void NewMapWin::buttonPressed()
    78 void NewMapWin::buttonPressed()
    64 {
    79 {
    65   bool valid_double=true;
    80   bool valid_double=true;
    66   int point_num=0;
    81   int point_num=0;
    67 
    82 
   100 	}
   115 	}
   101       if(!abortion)
   116       if(!abortion)
   102 	{
   117 	{
   103 	  name.set_text("");
   118 	  name.set_text("");
   104 	  default_value.set_text("0");
   119 	  default_value.set_text("0");
       
   120 	  edge.show();
       
   121 	  node.show();
   105 	  hide();
   122 	  hide();
   106 	}
   123 	}
   107     }
   124     }
   108 }
   125 }
   109 
   126