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

more typing work

Browse Source
This commit is contained in:
Kovid Goyal
2020-03-14 09:52:56 +05:30
parent eb12511646
commit ea48332f46
7 changed files with 202 additions and 154 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
kitty/tabs.py
View File

@@ -275,7 +275,7 @@ class Tab: # {{{
self._set_current_layout(layout_name)
self.relayout()
def resize_window_by(self, window_id: int, increment: int, is_horizontal: bool) -> Optional[str]:
def resize_window_by(self, window_id: int, increment: float, is_horizontal: bool) -> Optional[str]:
increment_as_percent = self.current_layout.bias_increment_for_cell(is_horizontal) * increment
if self.current_layout.modify_size_of_window(self.windows, window_id, increment_as_percent, is_horizontal):
self.relayout()