# HG changeset patch
# User Geoff Voelker <voelker@cs.washington.edu>
# Date 873249257 0
# Node ID 639881f2750df195b2ff1b66aff90e4c2da019ca
# Parent  72fa0e75a0fe68dc84218f83160090f5af1f27e9
(have_menus_p): Move to w32fns.c.

diff -r 72fa0e75a0fe -r 639881f2750d src/w32xfns.c
--- a/src/w32xfns.c	Wed Sep 03 01:13:25 1997 +0000
+++ b/src/w32xfns.c	Wed Sep 03 01:14:17 1997 +0000
@@ -350,13 +350,6 @@
   return (mask);
 }
 
-/* We can use mouse menus when we wish.  */
-int
-have_menus_p (void)
-{
-  return 1;
-}
-
 /* x_sync is a no-op on W32.  */
 void
 x_sync (f)