changeset 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 c94bea694181
children 7fda58b1a204
files src/xfns.c
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
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);