From b63270e47da8e5978274ec0fca96794ef47f3599 Mon Sep 17 00:00:00 2001
From: Dmitry Trofimov <dmitry.trofimov@jetbrains.com>
Date: Fri, 20 May 2016 11:48:02 +0200
Subject: [PATCH] Recent files shortcut should work in Terminal

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

diff --git a/plugins/terminal/src/org/jetbrains/plugins/terminal/JBTerminalPanel.java b/plugins/terminal/src/org/jetbrains/plugins/terminal/JBTerminalPanel.java
index 877fb2e52278..c215f0654156 100644
--- a/plugins/terminal/src/org/jetbrains/plugins/terminal/JBTerminalPanel.java
+++ b/plugins/terminal/src/org/jetbrains/plugins/terminal/JBTerminalPanel.java
@@ -87,7 +87,8 @@ public class JBTerminalPanel extends TerminalPanel implements FocusListener, Ter
     "GotoClass",
     "GotoSymbol",
     
-    "ShowSettings"
+    "ShowSettings",
+    "RecentFiles"
   };