# HG changeset patch
# User Gerd Moellmann <gerd@gnu.org>
# Date 983372710 0
# Node ID 861557fe58095eec392febf8e3d96a762454c2ba
# Parent  c94bea69418174d23f2bdcb72f63e8f0ec53a0a6
(Fx_hide_tip): Don't use `None' with widgets; use
NULL instead.

diff -r c94bea694181 -r 861557fe5809 src/xfns.c
--- a/src/xfns.c	Wed Feb 28 15:03:11 2001 +0000
+++ b/src/xfns.c	Wed Feb 28 15:05:10 2001 +0000
@@ -10977,7 +10977,7 @@
 	extern void xlwmenu_redisplay P_ ((Widget));
 	
 	if (!DoesSaveUnders (FRAME_X_DISPLAY_INFO (f)->screen)
-	    && w != None)
+	    && w != NULL)
 	  {
 	    BLOCK_INPUT;
 	    xlwmenu_redisplay (w);