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	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