[Gtk-sharp-list] Gtk.Tooltips obsolete - any replacement?

[Hywel Thomas]

I am getting a 'Gtk.Tooltips is obsolete (CS0612)' compilation warning, 
but I can't see any replacement (or obsolescence note) in the Gtk# 
documentation.  What is the preferred method for using Tooltips with 
Gtk# 2.12?  I also notice that Tooltips work after a delay following the 
end of mouse movement after an Enter event, but then only clear on a 
Leave event (rather than on further mouse movement).  Is this a 
limitation of the current implementation?

-- Hywel Thomas