for(iter=enum_list.begin();iter!=enum_list.end();iter++)
if(iter->value!=value)
enum_menu->items().push_back(Gtk::Menu_Helpers::MenuElem(iter->local_name,
for(iter=enum_list.begin();iter!=enum_list.end();iter++)
if(iter->value!=value)
enum_menu->items().push_back(Gtk::Menu_Helpers::MenuElem(iter->local_name,