Max Brunsfeld c90fe31249 Merge pull request #1353 from zed-industries/fix-init-user-settings ... Avoid copying all default settings to initial user settings		2022-07-13 17:31:10 -07:00
..
fonts
icons
keymaps	Fixed modal terminal bindings to not show in command palette	2022-07-13 16:39:22 -07:00
settings	Avoid copying all default settings to initial user settings	2022-07-13 17:07:41 -07:00
themes