Re: common menu bar

["Guillermo S. Romero / Familia Romero" <famrom idecnet com>]

jamess1 wwnet com (2000-10-27 at 0802.51 -0400):
> > There was already some discusion about this. AFAIK, no one was against
> > having it as an option.
> I wouldn't mind adding something like this, if no one else is working on
> it already.

I think no one is working at that. But remember, option.
Hrrm, I would ask at the GNOME devel list, to be sure.

GSR