Re: MDI-Tab-Position patch

[Christian Rose <menthos menthos com>]

It certainly should be discussed there first, imho. But the proper list
address is usability gnome org
(http://mail.gnome.org/mailman/listinfo/usability/). ;-)

Christian


On 19 Jun 2002, Dave Bordoley wrote:
> This is something that should be discussed on usability-list gnome org
> right??
>
> dave
>
> On Sun, 2002-06-16 at 19:43, Mathias Hasselmann wrote:
> > Hi,
> >
> >         Bored by seeing galeon2's and gnome-terminal's tabs on top of the
> > MDI window i decided to create a patch fixing this problem. The resulting
> > code introduces a GConf key "/desktop/gnome/interface/mdi_tab_position",
> > updates gnome-ui-properties, introduces gnome_add_setup_mdi_notebook in
> > libgnomeui/gnome-app-helper.h.
> >
> >         This work is available as bug 85504 in bugzilla
> > (http://bugzilla.gnome.org/show_bug.cgi?id=85504).