K Simmons e2ba8d6df7 Add active pane magnification setting which grows the active pane making it easier to see it's contents		2022-10-25 17:24:19 -07:00
..
default.json	Add active pane magnification setting which grows the active pane making it easier to see it's contents	2022-10-25 17:24:19 -07:00
initial_user_settings.json	Avoid copying all default settings to initial user settings	2022-07-13 17:07:41 -07:00