From 108b45fcbe02f8be866664a17fb1f78268690b2a Mon Sep 17 00:00:00 2001
From: Dmitry Trofimov <dmitry.trofimov@jetbrains.com>
Date: Sat, 21 May 2016 14:50:45 +0200
Subject: [PATCH] Switcher shortcut should work in Terminal (IDEA-156404)

---
 .../src/org/jetbrains/plugins/terminal/JBTerminalPanel.java   | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/plugins/terminal/src/org/jetbrains/plugins/terminal/JBTerminalPanel.java b/plugins/terminal/src/org/jetbrains/plugins/terminal/JBTerminalPanel.java
index c215f0654156..01397f147755 100644
--- a/plugins/terminal/src/org/jetbrains/plugins/terminal/JBTerminalPanel.java
+++ b/plugins/terminal/src/org/jetbrains/plugins/terminal/JBTerminalPanel.java
@@ -88,10 +88,10 @@ public class JBTerminalPanel extends TerminalPanel implements FocusListener, Ter
     "GotoSymbol",
     
     "ShowSettings",
-    "RecentFiles"
+    "RecentFiles",
+    "Switcher"
   };
 
-
   private final JBTerminalSystemSettingsProvider mySettingsProvider;
 
   private List<AnAction> myActionsToSkip;