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

Fix #506

Browse Source
This commit is contained in:
Kovid Goyal 2018-05-03 11:19:11 +05:30
parent c062b84bc6
commit 14459a7d18
No known key found for this signature in database
GPG Key ID: 06BC317B515ACE7C
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
kitty/layout.py
View File

@ -254,7 +254,9 @@ def top_blank_rect(w, rects):
def bottom_blank_rect(w, rects): def bottom_blank_rect(w, rects):
b = w.geometry.bottom b = w.geometry.bottom
if b < central.bottom: # Need to use <= here as otherwise a single pixel row at the bottom of the
# window is sometimes not covered. See https://github.com/kovidgoyal/kitty/issues/506
if b <= central.bottom:
rects.append(Rect(central.left, b, central.right + 1, central.bottom + 1)) rects.append(Rect(central.left, b, central.right + 1, central.bottom + 1))