From cbd50b31161304daec0afc1759ba47b4cd32bdbf Mon Sep 17 00:00:00 2001
From: Dmitry Trofimov <dmitry.trofimov@jetbrains.com>
Date: Wed, 27 Nov 2013 17:54:06 +0100
Subject: [PATCH] Behave the same as EditorImpl.

---
 .../plugins/terminal/JBTerminalSystemSettingsProvider.java      | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/plugins/terminal/src/org/jetbrains/plugins/terminal/JBTerminalSystemSettingsProvider.java b/plugins/terminal/src/org/jetbrains/plugins/terminal/JBTerminalSystemSettingsProvider.java
index 4adeb3cab133..dc1524bf6a20 100644
--- a/plugins/terminal/src/org/jetbrains/plugins/terminal/JBTerminalSystemSettingsProvider.java
+++ b/plugins/terminal/src/org/jetbrains/plugins/terminal/JBTerminalSystemSettingsProvider.java
@@ -174,7 +174,7 @@ class JBTerminalSystemSettingsProvider extends DefaultTabbedSettingsProvider imp
 
   @Override
   public boolean useAntialiasing() {
-    return UISettings.getInstance().ANTIALIASING_IN_EDITOR;
+    return true; // we return true here because all the settings are checked again in UiSettings.setupAntialiasing
   }
 
   @Override