Hi, The new GtkTooltip API in GTK+ 2.12 or greater allows one to create nicer tooltips. Here's a patch that makes use (if available) of this API.
Created attachment 2398 The patch
Created attachment 2399 Screenshot after patch
Patch commited in svn r7530
Re-assigning to Colin Leroy who is the new maintainer of the plugin.