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

Update codebase to Python 3.10 using pyupgrade

2025-02-03 10:56:50 +05:30

splits.py

Implement full serialization/unserialization for layouts

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

stack.py

rename typing module to avoid conflicts with stdlib typing

2025-04-28 09:20:10 +05:30

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