Update subproject reference and adjust editor font settings for improved readability

1aron · 1aron · commit 6c4a1a9218ed · 2025-04-24T13:57:37.000+08:00
diff --git a/internal b/internal
@@ -1 +1 @@
-Subproject commit 9413763b39a1966a3ccbf1728b317b0594e424dd
+Subproject commit 2004c76f3ffaa49d5775fe2c7d717cb421168b86
diff --git a/site/app/[locale]/play/Play.tsx b/site/app/[locale]/play/Play.tsx
@@ -63,10 +63,8 @@ const editorOptions: editor.IStandaloneEditorConstructionOptions = {
     wrappingStrategy: 'advanced',
     overviewRulerLanes: 0,
     lineHeight: 22,
-    letterSpacing: -0.1,
-    fontSize: 14,
-    fontFamily: (config.variables as any)['font-family'].mono.join(','),
-    fontLigatures: true
+    fontSize: 13,
+    fontFamily: (variables as any)['font-family'].mono.join(',')
 }
 
 const editorHTMLOptions: any = {
