(Fx_hide_tip): Don't use `None' with widgets; use

NULL instead.
This commit is contained in:
Gerd Moellmann 2001-02-28 15:05:10 +00:00
parent 81e3f05877
commit dbc64aa75a

View file

@ -10977,7 +10977,7 @@ Value is t is tooltip was open, nil otherwise.")
extern void xlwmenu_redisplay P_ ((Widget));
if (!DoesSaveUnders (FRAME_X_DISPLAY_INFO (f)->screen)
&& w != None)
&& w != NULL)
{
BLOCK_INPUT;
xlwmenu_redisplay (w);