Equivalent of r6583 window-border palette-change fix for Gtk.

[originally from svn r6609]
[r6583 == f9c1d0acf83e8cd73afa905b5d85bcdae9c311eb]

diff --git a/unix/gtkwin.c b/unix/gtkwin.c
index cb58216415b84be6a6c31942322567bdcf216ded..cd8c715026168b374244f4b77e97aa0df90f9ab5 100644 (file)
--- a/unix/gtkwin.c
+++ b/unix/gtkwin.c
@@ -1392,8 +1392,13 @@ void palette_set(void *frontend, int n, int r, int g, int b)
     if (n > NALLCOLOURS)
        return;
     real_palette_set(inst, n, r, g, b);
-    if (n == 258)
+    if (n == 258) {
+       /* Default Background changed. Ensure space between text area and
+        * window border is redrawn */
        set_window_background(inst);
+       draw_backing_rect(inst);
+       gtk_widget_queue_draw(inst->area);
+    }
 }
 
 void palette_reset(void *frontend)
@@ -1445,7 +1450,13 @@ void palette_reset(void *frontend)
                     inst->cfg.colours[i][1], inst->cfg.colours[i][2]);
     }
 
+    /* Since Default Background may have changed, ensure that space
+     * between text area and window border is refreshed. */
     set_window_background(inst);
+    if (inst->area) {
+       draw_backing_rect(inst);
+       gtk_widget_queue_draw(inst->area);
+    }
 }
 
 /* Ensure that all the cut buffers exist - according to the ICCCM, we must