--- tme/host/gtk/gtk-display.h	2018/04/24 16:42:26	1.1.1.3
+++ tme/host/gtk/gtk-display.h	2018/04/24 16:44:30	1.1.1.4
@@ -1,4 +1,4 @@
-/* $Id: gtk-display.h,v 1.1.1.3 2018/04/24 16:42:26 root Exp $ */
+/* $Id: gtk-display.h,v 1.1.1.4 2018/04/24 16:44:30 root Exp $ */
 
 /* host/gtk/gtk-display.h - header file for GTK display support: */
 
@@ -37,7 +37,7 @@
 #define _HOST_GTK_GTK_DISPLAY_H
 
 #include <tme/common.h>
-_TME_RCSID("$Id: gtk-display.h,v 1.1.1.3 2018/04/24 16:42:26 root Exp $");
+_TME_RCSID("$Id: gtk-display.h,v 1.1.1.4 2018/04/24 16:44:30 root Exp $");
 
 /* includes: */
 #include <tme/generic/fb.h>
@@ -124,6 +124,9 @@ struct tme_gtk_screen {
 
   /* when mouse mode is on, the last tme buttons state: */
   unsigned int tme_gtk_screen_mouse_buttons_last;
+
+  /* if nonzero, the screen needs a full redraw: */
+  int tme_gtk_screen_full_redraw;
 };
 
 /* a GTK bad keysym: */