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