From 634cd53454d07b5c359fb65f0fd817eacabbbd12 Mon Sep 17 00:00:00 2001 From: Kovid Goyal Date: Mon, 11 Sep 2017 15:54:19 +0530 Subject: [PATCH] Remove unused code --- kitty/borders.py | 2 -- 1 file changed, 2 deletions(-) diff --git a/kitty/borders.py b/kitty/borders.py index 6f5487a7a..75752419a 100644 --- a/kitty/borders.py +++ b/kitty/borders.py @@ -36,7 +36,6 @@ def border(color, sz, left, top, right, bottom): class Borders: def __init__(self, opts): - self.is_dirty = False self.border_width = pt_to_px(opts.window_border_width) self.padding_width = pt_to_px(opts.window_padding_width) compile_program(BORDERS_PROGRAM, *load_shaders('border')) @@ -44,7 +43,6 @@ class Borders: self.background = color_as_int(opts.background) self.active_border = color_as_int(opts.active_border_color) self.inactive_border = color_as_int(opts.inactive_border_color) - self.dirty = False def __call__( self,