From 2f3ad9da4c43699b7375ccf92e4472c2785a28fc Mon Sep 17 00:00:00 2001
From: Jun <69499549+greenthings@users.noreply.github.com>
Date: Sat, 10 Feb 2024 17:48:21 +0900
Subject: [PATCH] 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))
---
 assets/settings/default.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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",