diff src/xfns.c @ 36441:861557fe5809

(Fx_hide_tip): Don't use `None' with widgets; use NULL instead.
author Gerd Moellmann <gerd@gnu.org>
date Wed, 28 Feb 2001 15:05:10 +0000
parents a8630c63f7d5
children 59630511a774
line wrap: on
line diff
--- 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);