Use integer font size value in default settings (zed-industries#7649)

Release Notes: Fixed : default settings for terminal not containing a proper value for font size ([7469](zed-industries#7469))
RemcoSmitsDev · Feb 10, 2024 · 2f3ad9d · 2f3ad9d
1 parent 68893c2
commit 2f3ad9d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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",