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

Remove unused code

Browse Source
This commit is contained in:
Kovid Goyal 2017-09-11 15:54:19 +05:30
parent 084f31292b
commit 634cd53454
No known key found for this signature in database
GPG Key ID: 06BC317B515ACE7C
1 changed files with 0 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
kitty/borders.py
View File

@ -36,7 +36,6 @@ def border(color, sz, left, top, right, bottom):
class Borders: class Borders:
def __init__(self, opts): def __init__(self, opts):
self.is_dirty = False
self.border_width = pt_to_px(opts.window_border_width) self.border_width = pt_to_px(opts.window_border_width)
self.padding_width = pt_to_px(opts.window_padding_width) self.padding_width = pt_to_px(opts.window_padding_width)
compile_program(BORDERS_PROGRAM, *load_shaders('border')) compile_program(BORDERS_PROGRAM, *load_shaders('border'))
@ -44,7 +43,6 @@ class Borders:
self.background = color_as_int(opts.background) self.background = color_as_int(opts.background)
self.active_border = color_as_int(opts.active_border_color) self.active_border = color_as_int(opts.active_border_color)
self.inactive_border = color_as_int(opts.inactive_border_color) self.inactive_border = color_as_int(opts.inactive_border_color)
self.dirty = False
def __call__( def __call__(
self, self,