Gnome-MDI suggestion

[tack dok org]

I would like to use the Gnome-MDI API, but I want to be able to control the
widget being inserted for the tab's label.  (Specifically, I'd like to have
both a pixmap and text for the label.)  Any chance of this being implemented?  I
don't imagine it should be too difficult.  Perhaps just add a new GtkWidget
pointer to GnomeMDIChild for the label widget.

Jason.

---
Jason Tackaberry,
tack@dok.org
Tack on EFnet IRC
http://orion.dok.org
---