mirrors/kitty
1
0
Fork 0
mirror of https://github.com/kovidgoyal/kitty synced 2026-07-26 10:12:17 +02:00
Code Issues Packages Projects Releases Wiki Activity

A new option single_window_padding_width to use a different padding when only a single window is visible

Browse Source 
Fixes #6734
This commit is contained in:
Kovid Goyal
2023-10-20 08:37:45 +05:30
parent 512a672398
commit 4b997a961c
10 changed files with 52 additions and 10 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
kitty/window_list.py
View File

@@ -101,7 +101,7 @@ class WindowGroup:
if not self.windows:
return 0
w = self.windows[0]
return w.effective_margin(which, is_single_window=is_single_window) + w.effective_border() * border_mult + w.effective_padding(which)
return w.effective_margin(which) + w.effective_border() * border_mult + w.effective_padding(which)
def effective_padding(self, which: EdgeLiteral) -> int:
if not self.windows: