patch 9.2.0753: GTK GUI deferred redraw skipped on 'lazyredraw'

Problem:  GTK GUI deferred redraw skipped on 'lazyredraw'
Solution: Drop the redrawing() condition so a redraw is
          flushed regardless of 'lazyredraw'
          (Christoffer Aasted)

related: #20528
closes:  #20677

Signed-off-by: Christoffer Aasted <dezzadk@gmail.com>
Signed-off-by: Christian Brabandt <cb@256bit.org>

diff --git a/src/gui_gtk_x11.c b/src/gui_gtk_x11.c
index d7ea36274f89bd61e62b9c000a3a24654554eb8f..b12f4b22c36a70a361c0047bda4a02b6c9b70f4b 100644 (file)
--- a/src/gui_gtk_x11.c
+++ b/src/gui_gtk_x11.c
@@ -6841,8 +6841,8 @@ gui_mch_update(void)
        {
            int prio = 0;
            g_main_context_prepare(NULL, &prio);
-           // peek internal scheduling of redraw, honors 'lazyredraw'
-           if (prio == GDK_PRIORITY_REDRAW && redrawing())
+           // peek internal scheduling of redraw
+           if (prio == GDK_PRIORITY_REDRAW)
                gui_may_flush(); // prepares redraw: g_main_context_iteration
        }
 #endif

diff --git a/src/version.c b/src/version.c
index 48ff1025c73b4d0257f70419fae1d00a80513e60..2bc636bde2a79ab487816f8d46d8caff90ec54e0 100644 (file)
--- a/src/version.c
+++ b/src/version.c
@@ -759,6 +759,8 @@ static char *(features[]) =
 
 static int included_patches[] =
 {   /* Add new patch number below this line */
+/**/
+    753,
 /**/
     752,
 /**/