diff --git a/assets/settings/default.json b/assets/settings/default.json index 139d64673f..82e848dba0 100644 --- a/assets/settings/default.json +++ b/assets/settings/default.json @@ -443,7 +443,7 @@ } // Set the terminal's font size. If this option is not included, // the terminal will default to matching the buffer's font size. - // "font_size": "15", + // "font_size": 15, // Set the terminal's font family. If this option is not included, // the terminal will default to matching the buffer's font family. // "font_family": "Zed Mono",