From 970833fd48b4b92d7f8316bbf7f0b962762b9ee8 Mon Sep 17 00:00:00 2001
From: Jorge Manrubia <jorge@37signals.com>
Date: Wed, 7 May 2025 17:36:32 +0200
Subject: [PATCH] Hide command history when showing help menu

---
 app/assets/stylesheets/terminals.css | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/app/assets/stylesheets/terminals.css b/app/assets/stylesheets/terminals.css
index 1e2becfaf..f2794a8a3 100644
--- a/app/assets/stylesheets/terminals.css
+++ b/app/assets/stylesheets/terminals.css
@@ -63,6 +63,10 @@
     .terminal--open & {
       display: flex;
     }
+
+    .terminal--showing-help & {
+      display: none;
+    }
   }
 
   .terminal__help {