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.
> 

I'll be adding this when I find some time to spare (probably in the next
24hrs) ;)

regards,
	jaKa

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