Re: Gnome-MDI suggestion

[Jaka Mocnik <jaka mocnik kiss uni-lj si>]

tack@dok.org wrote:
 
> 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.

OK, done. GnomeMDIChild class now has a set_book_label signal that can
be overriden
in derived classes. it takes care of creating and updating notebook
labels, which can
be anything you desire and gtknotebook allows for (although I cant
possibly think of
anything useful except for a label or label + pixmap).
see the header file and the default handler in gnome-mdi-child.c for
details on its
use.

regards,
	jaKa

-- 
email: jaka.mocnik@kiss.uni-lj.si
w3:    http://pluton.ijs.si/~jaka