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

Release Notes: Fixed : default settings for terminal not containing a proper value for font size ([7469](https://github.com/zed-industries/zed/issues/7469))
2024-02-10 10:48:21 +02:00
parent 68893c2ae6
commit 2f3ad9da4c
1 changed files with 1 additions and 1 deletions
@@ -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",