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