Hi, I'm looking for a .deb package that provides libgnomeui/gnome-window-icon.h and status-docklet.h There's an RPM package (gnome-core-devel) but I don't see a debian equivalent. When will that be? Or what am I missing? Thank you. ilia.