From f16c05f28c32b7d4481af21882856c7dd2e796b6 Mon Sep 17 00:00:00 2001 From: "Kim F. Storm" Date: Sat, 16 Feb 2002 23:58:23 +0000 Subject: [PATCH] (struct w32_display_info): Add mouse_face_hidden. --- src/w32term.h | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/w32term.h b/src/w32term.h index 8f7411cb737..dee495de0cd 100644 --- a/src/w32term.h +++ b/src/w32term.h @@ -195,6 +195,9 @@ struct w32_display_info /* Nonzero means defer mouse-motion highlighting. */ int mouse_face_defer; + /* Nonzero means that the mouse highlight should not be shown. */ + int mouse_face_hidden; + int mouse_face_image_state; char *w32_id_name; -- 2.39.5