* xmenu.c (apply_systemfont_to_menu): *childs was incorrectly used.

1 files changed, 1 insertions, 6 deletions

diff --git a/src/xmenu.c b/src/xmenu.c
index c8067a47deb..796dd3093e8 100644
--- a/src/xmenu.c
+++ b/src/xmenu.c
@@ -978,14 +978,9 @@ apply_systemfont_to_menu (w)
   if (XtIsShell (w)) /* popup menu */
     {
       Widget *childs = NULL;
-      int num = 0;
 
-      XtVaGetValues (w, XtNnumChildren, &num, NULL);
-      if (num != 1) return; /* Should only be one. */
-
-      childs[0] = 0;
       XtVaGetValues (w, XtNchildren, &childs, NULL);
-      if (childs && *childs) w = *childs;
+      if (*childs) w = *childs;
     }
 
   /* Only use system font if the default is used for the menu.  */