zed/assets/settings/initial_user_settings.json

// Zed settings
//
// For information on how to configure Zed, see the Zed
// documentation: https://zed.dev/docs/configuring-zed
//
// To see all of Zed's default settings without changing your
// custom settings, run the `open default settings` command
// from the command palette or from `Zed` application menu.
{
  "ui_font_size": 16,
  "buffer_font_size": 16
}
Fix comments in settings files 2023-06-13 10:54:40 +03:00			`// Zed settings`
Pre-populate settings.json when initializing it from Zed 2022-07-13 00:19:32 +03:00			`//`
Fix comments in settings files 2023-06-13 10:54:40 +03:00			`// For information on how to configure Zed, see the Zed`
			`// documentation: https://zed.dev/docs/configuring-zed`
Pre-populate settings.json when initializing it from Zed 2022-07-13 00:19:32 +03:00			`//`
			`// To see all of Zed's default settings without changing your`
			// custom settings, run the `open default settings` command
			// from the command palette or from `Zed` application menu.
Avoid copying all default settings to initial user settings This would cause top-level default editor settings to override language-specific default settings. Co-authored-by: Nathan Sobo <nathan@zed.dev> 2022-07-14 03:05:36 +03:00			`{`
Update default ui font settings 2023-11-21 18:43:18 +03:00			`"ui_font_size": 16,`
			`"buffer_font_size": 16`
Avoid copying all default settings to initial user settings This would cause top-level default editor settings to override language-specific default settings. Co-authored-by: Nathan Sobo <nathan@zed.dev> 2022-07-14 03:05:36 +03:00			`}`