making a GtkNotebook tab insensitive - omission?

[Bill Haneman <bill haneman sun com>]

Hi folks,

I have just realized (please correct me if I am wrong) that
GtkNotebook does not allow for making a tab insensitive (i.e. 'greyed
out' and temporarily non-selectable), unless one manually alters the
tab label, and consumes the switch_page signal as appropriate.

Seems like something one would expect API for.

? any use in my submitting a patch for this ?  It would constitute an
API addition, rather than a change to existing interfaces... 

-Bill
--