From 7bf1e6fc27bcacbf88ec2e770df354b308d32b09 Mon Sep 17 00:00:00 2001
From: Dmitry Trofimov <dmitry.trofimov@jetbrains.com>
Date: Thu, 28 Nov 2013 14:09:20 +0100
Subject: [PATCH] Use Source Code Pro as we don't have problems with
 unprintable pseudo-graphics as we iterate fonts to find suitable one for
 unprintable characters.

---
 .../terminal/JBTerminalSystemSettingsProvider.java | 14 +++-----------
 1 file changed, 3 insertions(+), 11 deletions(-)

diff --git a/plugins/terminal/src/org/jetbrains/plugins/terminal/JBTerminalSystemSettingsProvider.java b/plugins/terminal/src/org/jetbrains/plugins/terminal/JBTerminalSystemSettingsProvider.java
index dc1524bf6a20..45e9403636ff 100644
--- a/plugins/terminal/src/org/jetbrains/plugins/terminal/JBTerminalSystemSettingsProvider.java
+++ b/plugins/terminal/src/org/jetbrains/plugins/terminal/JBTerminalSystemSettingsProvider.java
@@ -151,19 +151,11 @@ class JBTerminalSystemSettingsProvider extends DefaultTabbedSettingsProvider imp
   public String getFontName() {
     List<String> fonts = myColorScheme.getConsoleFontPreferences().getEffectiveFontFamilies();
 
-    for (String font : fonts) {
-      if (isApplicable(font)) {
-        return font;
-      }
+    if (fonts.size()>0) {
+      return fonts.get(0);
     }
-    return "Monospaced-14";
-  }
 
-  private static boolean isApplicable(String font) {
-    if ("Source Code Pro".equals(font)) {
-      return false;
-    }
-    return true;
+    return "Monospaced-14";
   }
 
   @Override