From 79c292d943be831b94901e9bdc126e834253d3c3 Mon Sep 17 00:00:00 2001 From: louiscklaw Date: Wed, 18 Jun 2025 12:51:07 +0800 Subject: [PATCH] "feat: update workspace settings with increased editor font size from 15 to 18" --- HKSingleParty.code-workspace | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/HKSingleParty.code-workspace b/HKSingleParty.code-workspace index 6bd7a32..9b4ead4 100644 --- a/HKSingleParty.code-workspace +++ b/HKSingleParty.code-workspace @@ -23,7 +23,7 @@ } ], "settings": { - "editor.fontSize": 15 + "editor.fontSize": 18 }, "extensions": { "recommendations": [