RE: [gnome] UI improvements & menu patch

[Juergen Vigna]

On 19-Sep-2000 Marko Vendelin wrote:

> Jürgen, can you put the following code instead:
> 
>       case MenuItem::Toc: {
>       ListsHolder t;
>       t.path = path;
>       toc_.push_back(t);
>       break;
>       }
>  

Done!

I'll commit soon as I have to leave!

       Jürgen

--
-._-._-._-._-._-._-._-._-._-._-._-._-._-._-._-._-._-._-._-._-._-._-._

Dr. Jürgen Vigna        E-Mail:  [EMAIL PROTECTED]
Italienallee 13/N       Tel/Fax: +39-0471-450260 / +39-0471-450253
I-39100 Bozen           Web:     http://www.sad.it/~jug

-._-._-._-._-._-._-._-._-._-._-._-._-._-._-._-._-._-._-._-._-._-._-._

Somebody's terminal is dropping bits.  I found a pile of them over in the
corner.