From 9efe9df80080fe09e8bfe679cdb5804611a3a8b9 Mon Sep 17 00:00:00 2001 From: Peter Tripp Date: Thu, 17 Jul 2025 14:32:04 -0400 Subject: [PATCH] Harmonize `buffer_font_size` between default.json and initial_settings.json (#34650) Release Notes: - N/A --- assets/settings/initial_user_settings.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/assets/settings/initial_user_settings.json b/assets/settings/initial_user_settings.json index 71f3beb1d6..5ac2063bdb 100644 --- a/assets/settings/initial_user_settings.json +++ b/assets/settings/initial_user_settings.json @@ -8,7 +8,7 @@ // command palette (cmd-shift-p / ctrl-shift-p) { "ui_font_size": 16, - "buffer_font_size": 16, + "buffer_font_size": 15, "theme": { "mode": "system", "light": "One Light",