RE: [gnome] UI improvements & menu patch

[Marko Vendelin]

> I get an error in Menubar_pimpl.C:327 code when compiling your patch:
> 
>       case MenuItem::Toc: {
>         toc_.push_back();
>         toc_[toc_.size()-1].path = path;
>         break;
>       }

Jürgen, can you put the following code instead:

      case MenuItem::Toc: {
        ListsHolder t;
        t.path = path;
        toc_.push_back(t);
        break;
      }
 
or should I submit it with later patches?

Marko