Kovid Goyal f925327755 Fix de-serialization of some layouts ...

Forgot that JSON converts dict keys to strings. Sigh.

2025-08-20 08:10:29 +05:30

..

__init__.py

…

base.py

When saving session add option to save the foreground process running in the shell so that it is also restarted

2025-08-16 16:50:45 +05:30

grid.py

Fix de-serialization of some layouts

2025-08-20 08:10:29 +05:30

interface.py

…

splits.py

Implement full serialization/unserialization for layouts

2025-08-04 15:51:46 +05:30

stack.py

…

tall.py

Fix de-serialization of some layouts

2025-08-20 08:10:29 +05:30

vertical.py

Fix de-serialization of some layouts

2025-08-20 08:10:29 +05:30