1
0
mirror of https://git.tartarus.org/simon/putty.git synced 2025-01-10 01:48:00 +00:00

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

[originally from svn r6609]
[r6583 == f9c1d0acf8]
This commit is contained in:
Jacob Nevins 2006-03-12 22:17:46 +00:00
parent 078c516a45
commit 23587e0731

View File

@ -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