mirror of
https://git.tartarus.org/simon/putty.git
synced 2025-01-25 01:02:24 +00:00
Alain Guibert points out that palette changes weren't causing the space
between the text area and the window border to be refreshed. Fixed on Windows. Gtk still has a similar problem. [originally from svn r6583]
This commit is contained in:
parent
be93024bf2
commit
f9c1d0acf8
@ -4400,6 +4400,12 @@ void palette_set(void *frontend, int n, int r, int g, int b)
|
||||
UnrealizeObject(pal);
|
||||
RealizePalette(hdc);
|
||||
free_ctx(hdc);
|
||||
} else {
|
||||
if (n == (ATTR_DEFBG>>ATTR_BGSHIFT))
|
||||
/* If Default Background changes, we need to ensure any
|
||||
* space between the text area and the window border is
|
||||
* redrawn. */
|
||||
InvalidateRect(hwnd, NULL, TRUE);
|
||||
}
|
||||
}
|
||||
|
||||
@ -4428,6 +4434,10 @@ void palette_reset(void *frontend)
|
||||
hdc = get_ctx(frontend);
|
||||
RealizePalette(hdc);
|
||||
free_ctx(hdc);
|
||||
} else {
|
||||
/* Default Background may have changed. Ensure any space between
|
||||
* text area and window border is redrawn. */
|
||||
InvalidateRect(hwnd, NULL, TRUE);
|
||||
}
|
||||
}
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user