[11_17] Use UnBatang instead of unbatang for default korean font

XmacsLabs · Dec 16, 2023 · ef6749e · ef6749e
1 parent a8c9a8d
commit ef6749e
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 7 deletions.
diff --git a/TeXmacs/progs/fonts/font-old-menu.scm b/TeXmacs/progs/fonts/font-old-menu.scm
@@ -187,8 +187,8 @@
 		  ("SimYou" (make-with "font" "simyou")))
 	      (if (font-exists-in-tt? "ukai")
 		  ("UKai" (make-with "font" "ukai")))
-	      (if (font-exists-in-tt? "unbatang")
-		  ("Unbatang" (make-with "font" "unbatang")))
+	      (if (font-exists-in-tt? "UnBatang")
+		  ("UnBatang" (make-with "font" "unbatang")))
 	      (if (font-exists-in-tt? "uming")
 		  ("UMing" (make-with "font" "uming")))
 	      (if (font-exists-in-tt? "wqy-zenhei")

diff --git a/TeXmacs/progs/generic/document-menu.scm b/TeXmacs/progs/generic/document-menu.scm
@@ -231,8 +231,8 @@
               ("SimYou" (init-env "font" "simyou")))
           (if (font-exists-in-tt? "ukai")
               ("UKai" (init-env "font" "ukai")))
-          (if (font-exists-in-tt? "unbatang")
-              ("Unbatang" (init-env "font" "unbatang")))
+          (if (font-exists-in-tt? "UnBatang")
+              ("UnBatang" (init-env "font" "unbatang")))
           (if (font-exists-in-tt? "uming")
               ("UMing" (init-env "font" "uming")))
           (if (font-exists-in-tt? "wqy-zenhei")
@@ -357,8 +357,8 @@
       ("Batang" (init-font "batang")))
   (if (font-exists-in-tt? "Gulim")
       ("Gulim" (init-font "gulim")))
-  (if (font-exists-in-tt? "unbatang")
-      ("Unbatang" (init-font "unbatang"))))
+  (if (font-exists-in-tt? "UnBatang")
+      ("UnBatang" (init-font "unbatang"))))
 
 (menu-bind document-short-font-menu
   ("Default" (init-default-font))

diff --git a/src/Graphics/Fonts/font.cpp b/src/Graphics/Fonts/font.cpp
@@ -629,7 +629,6 @@ default_korean_font_name () {
   if (tt_font_exists ("batang")) return "Batang";
 #endif
 
-  if (tt_font_exists ("unbatang")) return "UnBatang";
   if (tt_font_exists ("UnBatang")) return "UnBatang";
   if (tt_font_exists ("Gulim")) return "gulim";
   return "roman";