From 4defca9583ba07bf22b0a953a565388931487802 Mon Sep 17 00:00:00 2001
From: Dmitry Trofimov <dmitry.trofimov@jetbrains.com>
Date: Mon, 15 Feb 2016 14:08:19 +0100
Subject: [PATCH] Take colors and keys for find in terminal from settings.

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

diff --git a/plugins/terminal/src/org/jetbrains/plugins/terminal/JBTerminalSystemSettingsProvider.java b/plugins/terminal/src/org/jetbrains/plugins/terminal/JBTerminalSystemSettingsProvider.java
index bb92bc5cfe99..d1209bcb8048 100644
--- a/plugins/terminal/src/org/jetbrains/plugins/terminal/JBTerminalSystemSettingsProvider.java
+++ b/plugins/terminal/src/org/jetbrains/plugins/terminal/JBTerminalSystemSettingsProvider.java
@@ -102,6 +102,11 @@ public class JBTerminalSystemSettingsProvider extends DefaultTabbedSettingsProvi
     return getKeyStrokesByActionId("PreviousTab");
   }
 
+  @Override
+  public KeyStroke[] getFindKeyStrokes() {
+    return getKeyStrokesByActionId("Find");
+  }
+
   @Override
   public ColorPalette getTerminalColorPalette() {
     return new JBTerminalSchemeColorPalette(myColorScheme);
@@ -151,6 +156,12 @@ public class JBTerminalSystemSettingsProvider extends DefaultTabbedSettingsProvi
                          TerminalColor.awt(myColorScheme.getColor(EditorColors.SELECTION_BACKGROUND_COLOR)));
   }
 
+  @Override
+  public TextStyle getFoundPatternColor() {
+    return new TextStyle(TerminalColor.awt(myColorScheme.getAttributes(EditorColors.TEXT_SEARCH_RESULT_ATTRIBUTES).getForegroundColor()),
+                         TerminalColor.awt(myColorScheme.getAttributes(EditorColors.TEXT_SEARCH_RESULT_ATTRIBUTES).getBackgroundColor()));
+  }
+
   @Override
   public TextStyle getDefaultStyle() {
     return new TextStyle(TerminalColor.awt(myColorScheme.getDefaultForeground()), TerminalColor.awt(