From 3854c72532c37453663db0f5a8b3f759f651c356 Mon Sep 17 00:00:00 2001
From: David Disu <daviddisu8@gmail.com>
Date: Wed, 14 Sep 2022 22:03:53 +0100
Subject: [PATCH] Show dgit option only for git workspace

---
 libs/remix-ui/workspace/src/lib/remix-ui-workspace.tsx | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/libs/remix-ui/workspace/src/lib/remix-ui-workspace.tsx b/libs/remix-ui/workspace/src/lib/remix-ui-workspace.tsx
index b209584a72..829dc191a4 100644
--- a/libs/remix-ui/workspace/src/lib/remix-ui-workspace.tsx
+++ b/libs/remix-ui/workspace/src/lib/remix-ui-workspace.tsx
@@ -534,7 +534,7 @@ export function Workspace () {
 
   return (
     <>
-    <div className='remixui_container' style={{ height: '95%' }}>
+    <div className='remixui_container' style={{ height: selectedWorkspace && selectedWorkspace.isGitRepo ? '95%' : '100%' }}>
       <div className='d-flex flex-column w-100 remixui_fileexplorer' data-id="remixUIWorkspaceExplorer" onClick={resetFocus}>
         <div>
           <header>
@@ -720,7 +720,7 @@ export function Workspace () {
       </div>
       {
         selectedWorkspace &&
-        <div className='bg-light border-top' style={{ height: '5%' }}>
+        <div className={`bg-light border-top ${selectedWorkspace.isGitRepo ? 'd-block' : 'd-none'}`} style={{ height: '5%' }}>
           <div className='d-flex justify-space-between p-1'>
             <div className="mr-auto text-uppercase text-dark pt-2 pl-2">DGIT</div>
             <div className="pt-1 mr-1">