From f01c0945da5d9830a3642ef32bdf0bb236131817 Mon Sep 17 00:00:00 2001 From: Kovid Goyal Date: Sat, 29 Aug 2020 18:08:32 +0530 Subject: [PATCH] Fix mypy failing --- kitty/layout/grid.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/kitty/layout/grid.py b/kitty/layout/grid.py index 7c64d0466..a4d70e20c 100644 --- a/kitty/layout/grid.py +++ b/kitty/layout/grid.py @@ -206,7 +206,7 @@ class Grid(Layout): is_first_column = {groups[x].id for x in col_windows} prev_col_windows = col_windows - all_groups_in_order = [] + all_groups_in_order: List[WindowGroup] = [] for window_idx, xl, yl in self.layout_windows(n, nrows, ncols, special_rows, special_col, on_col_done): wg = groups[window_idx] all_groups_in_order.append(wg)