Gnome MDI patch (take 2)

[Karl Nelson <kenelson ece ucdavis edu>]

It appears that a patch I requested be applied immediately was never 
applied.  Since everyone agreed it was a good patch whne I submitted 
it is there any opjections to applying it now?

This patch is needed to make GNOME MDI usable to language bindings
by changing the counting rule such that only menu items are counted
for later removal.

--Karl

Index: libgnomeui/gnome-mdi.c
===================================================================
RCS file: /cvs/gnome/gnome-libs/libgnomeui/gnome-mdi.c,v
retrieving revision 1.85
diff -u -r1.85 gnome-mdi.c
--- libgnomeui/gnome-mdi.c      1999/09/13 19:20:46     1.85
+++ libgnomeui/gnome-mdi.c      2000/09/03 06:10:57
@@ -370,11 +370,14 @@
 static gint count_ui_info_items (const GnomeUIInfo *ui_info)
 {
        gint num;
+        gint count=0;
        
        for(num = 0; ui_info[num].type != GNOME_APP_UI_ENDOFINFO; num++)
-               ;
+               if (ui_info[num].type != GNOME_APP_UI_HELP && 
+                        ui_info[num].type != GNOME_APP_UI_BUILDER_DATA)
+                        count++;
        
-       return num;
+       return count;