[patch] gnome-libs pixmap fix?

[Toshio Kuratomi <badger prtr-13 ucsc edu>]

Hi -- While tracing why gnome-objc isn't compiling at the moment,
I found that gnome-libs/libgnomeui/gnome_pixmap.* is declaring but
not defining gnome_pixmap_new_from_rgb_d_at_size.  Here's a patch,
if someone could look it over to do what it's supposed to (It's
monkey-see monkey-do copied from similar gnome_pixmap functions.)
and commit the change (I don't have write access), that would be
wonderful.

-Toshio
-- 
badger  \"Life is like a china candy dish, filled with brightly promising
@prtr-13 \ sweets, quickly empited.  lasts longer.  dropped.  it breaks."
.ucsc.edu  \~=~=~=~=~=~=~=~=~=~=~=~=~=~=~=~=~=~=~=~=~=~=~=~=~=~=~=~=~=~=~=~
--- gnome-libs/libgnomeui/gnome-pixmap.c.pixfix	Thu May 21 07:51:07 1998
+++ gnome-libs/libgnomeui/gnome-pixmap.c	Thu May 21 07:41:55 1998
@@ -196,6 +196,19 @@
 	return GTK_WIDGET (gpixmap);
 }
 
+GtkWidget *gnome_pixmap_new_from_rgb_d_at_size (char *data,
+                 unsigned char *alpha, int rgb_width, int rgb_height,
+                 int width, int height)
+{
+    GnomePixmap *gpixmap;
+    g_return_val_if_fail(data != NULL, NULL);
+    gpixmap = gtk_type_new (gnome_pixmap_get_type ());
+    gnome_pixmap_load_rgb_d_at_size(gpixmap, data, alpha,
+                                    rgb_width, rgb_height, width, height);
+
+    return GTK_WIDGET (gpixmap);
+}
+
 GtkWidget *
 gnome_pixmap_new_from_gnome_pixmap (GnomePixmap *gpixmap_old)
 {