windows: set default font to DengXian

yatli · May 9, 2019 · 74c73ee · 74c73ee
1 parent 4d4813d
commit 74c73ee
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Editor.xaml.fs b/Editor.xaml.fs
@@ -66,7 +66,7 @@ type Editor() as this =
     let mutable mode_defs        = Array.empty<ModeInfo>
 
     let mutable _guifont         = "Iosevka Slab"
-    let mutable _guifontwide     = "Microsoft YaHei"
+    let mutable _guifontwide     = "DengXian"
 
     let mutable font_size        = 16.0
     let mutable glyph_size       = Size(1.0, 1.0)