Fixed font in terminal on MacOS

JetBrains · Jun 25, 2020 · 2286197 · 2286197
1 parent 53a8dad
commit 2286197
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/...or-server/src/main/kotlin/org/jetbrains/projector/server/service/ProjectorFontProvider.kt b/...or-server/src/main/kotlin/org/jetbrains/projector/server/service/ProjectorFontProvider.kt
@@ -63,7 +63,7 @@ object ProjectorFontProvider : FontProvider {
   override val defaultPlatformFont: Array<String> get() = arrayOf(DEFAULT_FONT_NAME, DEFAULT_FONT_PATH)
 
   override fun findFont2D(name: String, style: Int, fallback: Int): Font2D {
-    if ("mono" in name.toLowerCase()) {
+    if (isMonospacedFont(name)) {
       return when (style) {
         Font.BOLD or Font.ITALIC -> monoBoldItalic
 
@@ -87,6 +87,10 @@ object ProjectorFontProvider : FontProvider {
     }
   }
 
+  private fun isMonospacedFont(name: String): Boolean {
+    return "mono" in name.toLowerCase() || name.toLowerCase() == "menlo"
+  }
+
   private fun loadFont(fontName: String, fontPath: String): PhysicalFont {
     val tempFile = File.createTempFile(fontName, ".ttf").apply {
       deleteOnExit()