changeset 13866:808d4570cb4b

(have_menus_p): Renamed from using_x_p.
author Richard M. Stallman <rms@gnu.org>
date Tue, 26 Dec 1995 04:39:17 +0000
parents 9731edfdb270
children 19a05b5a597d
files src/w32xfns.c
diffstat 1 files changed, 2 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/src/w32xfns.c	Tue Dec 26 04:38:27 1995 +0000
+++ b/src/w32xfns.c	Tue Dec 26 04:39:17 1995 +0000
@@ -277,9 +277,9 @@
   return (mask);
 }
 
-/* The semantics of the use of using_x_p is really using_a_window_system.  */
+/* We can use mouse menus when we wish.  */
 int
-using_x_p (void)
+have_menus_p (void)
 {
   return 1;
 }