diff options
| -rw-r--r-- | src/w32term.h | 3 |
1 files changed, 3 insertions, 0 deletions
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; |