KittyPatch/kitty
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Fix push/pop of colors not updating colors on screen until a dynamic color is also changed.

Browse Source 
Fixes #4351
This commit is contained in:
Kovid Goyal 2021-12-13 11:17:54 +05:30
parent 547e4a3d7e
commit 1f264ffec5
No known key found for this signature in database
GPG Key ID: 06BC317B515ACE7C
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
kitty/screen.c
View File

@ -2075,12 +2075,12 @@ screen_handle_cmd(Screen *self, PyObject *cmd) {
void
screen_push_colors(Screen *self, unsigned int idx) {
colorprofile_push_colors(self->color_profile, idx);
if (colorprofile_push_colors(self->color_profile, idx)) self->color_profile->dirty = true;
}
void
screen_pop_colors(Screen *self, unsigned int idx) {
colorprofile_pop_colors(self->color_profile, idx);
if (colorprofile_pop_colors(self->color_profile, idx)) self->color_profile->dirty = true;
}
void