mirrors/kitty
1
0
Fork 0
mirror of https://github.com/kovidgoyal/kitty synced 2026-07-09 21:55:29 +02:00
Code Issues Packages Projects Releases Wiki Activity

Fix de-serialization of some layouts

Browse Source 
Forgot that JSON converts dict keys to strings. Sigh.
This commit is contained in:
Kovid Goyal
2025-08-20 08:06:52 +05:30
parent 4c987cd509
commit f925327755
3 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
kitty/layout/grid.py
View File

@@ -316,6 +316,6 @@ class Grid(Layout):
}
def set_layout_state(self, layout_state: dict[str, Any], map_group_id: WindowMapper) -> bool:
self.biased_rows = layout_state['biased_rows']
self.biased_cols = layout_state['biased_cols']
self.biased_rows = {int(k): v for k, v in layout_state['biased_rows'].items()}
self.biased_cols = {int(k): v for k, v in layout_state['biased_cols'].items()}
return True

2
kitty/layout/tall.py
View File

@@ -354,7 +354,7 @@ class Tall(Layout):
def set_layout_state(self, layout_state: dict[str, Any], map_group_id: WindowMapper) -> bool:
self.main_bias = layout_state['main_bias']
self.biased_map = layout_state['biased_map']
self.biased_map = {int(k): v for k, v in layout_state['biased_map'].items()}
self.layout_opts = TallLayoutOpts(layout_state['opts'])
return True

2
kitty/layout/vertical.py
View File

@@ -141,7 +141,7 @@ class Vertical(Layout):
return {'biased_map': self.biased_map}
def set_layout_state(self, layout_state: dict[str, Any], map_group_id: WindowMapper) -> bool:
self.biased_map = layout_state['biased_map']
self.biased_map = {int(k): v for k, v in layout_state['biased_map'].items()}
return True
class Horizontal(Vertical):