From 852b2275749638e8ee4a0031e0601e6bc9d92f9b Mon Sep 17 00:00:00 2001
From: sawka <mike.sawka@gmail.com>
Date: Thu, 12 Oct 2023 21:33:50 -0700
Subject: [PATCH] shrink cmd-exec space

---
 src/app/workspace/cmdinput/cmdInput.less | 4 ++--
 src/app/workspace/cmdinput/cmdinput.tsx  | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/app/workspace/cmdinput/cmdInput.less b/src/app/workspace/cmdinput/cmdInput.less
index b14a223a..772db8b2 100644
--- a/src/app/workspace/cmdinput/cmdInput.less
+++ b/src/app/workspace/cmdinput/cmdInput.less
@@ -76,7 +76,7 @@
 
     .cmd-input-field {
         position: relative;
-        padding-right: 22em;
+        padding-right: 17em;
 
         .cmd-hints {
             position: absolute;
@@ -146,7 +146,7 @@
             }
             .cmd-btn {
                 display: inline-block;
-                margin-right: 1em;
+                margin-right: 0;
                 padding: 0.2em 0.7rem;
                 opacity: 0.5;
                 cursor: pointer;
diff --git a/src/app/workspace/cmdinput/cmdinput.tsx b/src/app/workspace/cmdinput/cmdinput.tsx
index da53c63c..0ea52420 100644
--- a/src/app/workspace/cmdinput/cmdinput.tsx
+++ b/src/app/workspace/cmdinput/cmdinput.tsx
@@ -164,7 +164,7 @@ class CmdInput extends React.Component<{}, {}> {
                         )}
                         {focusVal && (
                             <div onMouseDown={this.clickHistoryHint} className="cmd-btn hoverEffect">
-                                {historyShow ? "close history (esc)" : "show history (ctrl-r)"}
+                                {historyShow ? "close (esc)" : "history (crtl-r)"}
                             </div>
                         )}
                         <ExecIcon