-#ifdef __WXGTK12__
- // gtk_item_factory_delete_entry() is buggy as of GTK+ 1.2.6, so don't use
- // it but delete the widget manually instead
- wxString path = _T("<main>/"),
- title = menu->GetTitle();
- for ( const wxChar *p = title.c_str(); *p; p++ )
- {
- if ( *p != _T('_') )
- path += *p;
- }