# HG changeset patch
# User Fred Pierresteguy <F.Pierresteguy@frcl.bull.fr>
# Date 760123994 0
# Node ID 60dec959cbc2205526c38ecd2300bc6b3f02e065
# Parent  fe1a71db966f7e66846cec906b327147d352386f
(x_set_menu_bar_lines): Test also menubar_widget before calling
XtDestroyWidget.

diff -r fe1a71db966f -r 60dec959cbc2 src/xfns.c
--- a/src/xfns.c	Tue Feb 01 17:25:41 1994 +0000
+++ b/src/xfns.c	Tue Feb 01 17:33:14 1994 +0000
@@ -1076,7 +1076,8 @@
     FRAME_EXTERNAL_MENU_BAR (f) = 1;
   else
     {
-      if (FRAME_EXTERNAL_MENU_BAR (f) == 1)
+      if (FRAME_EXTERNAL_MENU_BAR (f) == 1 
+	  && f->display.x->menubar_widget)
 	XtDestroyWidget (f->display.x->menubar_widget);
       FRAME_EXTERNAL_MENU_BAR (f) = 0;
       f->display.x->menubar_widget = 0;