From 1f264ffec5b89627ce2a30f72cf96d3138432375 Mon Sep 17 00:00:00 2001
From: Kovid Goyal <kovid@kovidgoyal.net>
Date: Mon, 13 Dec 2021 11:17:54 +0530
Subject: [PATCH] Fix push/pop of colors not updating colors on screen until a
 dynamic color is also changed.

Fixes #4351
---
 kitty/screen.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/kitty/screen.c b/kitty/screen.c
index 8b5012a8e..137f46623 100644
--- a/kitty/screen.c
+++ b/kitty/screen.c
@@ -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