From 699160e2828017f998b89270009ece45e327a2ee Mon Sep 17 00:00:00 2001
From: Sergey Simonchik <sergey.simonchik@jetbrains.com>
Date: Tue, 6 Aug 2019 00:44:15 +0300
Subject: [PATCH] terminal: instantiate font explicitly instead of using
 java.awt.Font#decode (IDEA-219814)

The problem is that java.awt.Font#decode tries to parse string according to different formats, like "Monospaced bold 12".
It doesn't work good to parse "JetBrains Mono" string as "JetBrains Mono" font.
Ironically, it parses correctly other strings like "JetBrains Mono Norm".

GitOrigin-RevId: 6360c6993553269783e2d59c05c9acca68eb6a21
---
 .../terminal/JBTerminalSystemSettingsProviderBase.java | 10 +---------
 1 file changed, 1 insertion(+), 9 deletions(-)

diff --git a/platform/platform-impl/src/com/intellij/terminal/JBTerminalSystemSettingsProviderBase.java b/platform/platform-impl/src/com/intellij/terminal/JBTerminalSystemSettingsProviderBase.java
index dcd7340f4118..4570107ff684 100644
--- a/platform/platform-impl/src/com/intellij/terminal/JBTerminalSystemSettingsProviderBase.java
+++ b/platform/platform-impl/src/com/intellij/terminal/JBTerminalSystemSettingsProviderBase.java
@@ -434,15 +434,7 @@ public class JBTerminalSystemSettingsProviderBase extends DefaultTabbedSettingsP
 
   @Override
   public Font getTerminalFont() {
-    Font normalFont = Font.decode(getFontName());
-
-    if (normalFont == null) {
-      normalFont = super.getTerminalFont();
-    }
-
-    normalFont = normalFont.deriveFont(getTerminalFontSize());
-
-    return normalFont;
+    return new Font(getFontName(), Font.PLAIN, (int)getTerminalFontSize());
   }
 
   public String getFontName() {