mirror of
https://github.com/kovidgoyal/kitty
synced 2026-07-23 00:38:10 +02:00
Update padding color on colorprofile pop
This commit is contained in:
@@ -862,6 +862,10 @@ class Window:
|
||||
if default_bg_changed:
|
||||
get_boss().default_bg_changed_for(self.id)
|
||||
|
||||
def color_profile_popped(self, bg_changed: bool) -> None:
|
||||
if bg_changed:
|
||||
get_boss().default_bg_changed_for(self.id)
|
||||
|
||||
def report_color(self, code: str, r: int, g: int, b: int) -> None:
|
||||
r |= r << 8
|
||||
g |= g << 8
|
||||
|
||||
Reference in New Issue
Block a user