From 3893c8dd062ed8cf3f5fef6c73acbf91bb16a2b8 Mon Sep 17 00:00:00 2001
From: Romein van Buren <romein@vburen.nl>
Date: Sat, 24 Jun 2023 11:05:02 +0200
Subject: [PATCH] CSS tweaks for shell

---
 .../connection/collection/index.svelte        | 24 +++++-----
 .../connection/collection/shell.svelte        | 46 ++++++++++---------
 2 files changed, 37 insertions(+), 33 deletions(-)

diff --git a/frontend/src/organisms/connection/collection/index.svelte b/frontend/src/organisms/connection/collection/index.svelte
index dd33f35..db6165f 100644
--- a/frontend/src/organisms/connection/collection/index.svelte
+++ b/frontend/src/organisms/connection/collection/index.svelte
@@ -43,17 +43,19 @@
 <div class="view" class:empty={!collection}>
   {#if collection}
     {#key collection}
-      <TabBar tabs={[
-        { key: 'stats', icon: 'chart', title: 'Stats' },
-        { key: 'find', icon: 'db', title: 'Find' },
-        { key: 'insert', icon: '+', title: 'Insert' },
-        { key: 'update', icon: 'edit', title: 'Update' },
-        { key: 'remove', icon: 'trash', title: 'Remove' },
-        { key: 'indexes', icon: 'list', title: 'Indexes' },
-        { key: 'aggregate', icon: 're', title: 'Aggregate' },
-        { key: 'shell', icon: 'shell', title: 'Shell' },
-      ]}
-        bind:selectedKey={tab} />
+      <TabBar
+        tabs={[
+          { key: 'stats', icon: 'chart', title: 'Stats' },
+          { key: 'find', icon: 'db', title: 'Find' },
+          { key: 'insert', icon: '+', title: 'Insert' },
+          { key: 'update', icon: 'edit', title: 'Update' },
+          { key: 'remove', icon: 'trash', title: 'Remove' },
+          { key: 'indexes', icon: 'list', title: 'Indexes' },
+          { key: 'aggregate', icon: 're', title: 'Aggregate' },
+          { key: 'shell', icon: 'shell', title: 'Shell' },
+        ]}
+        bind:selectedKey={tab}
+      />
 
       <div class="container">
         {#if tab === 'stats'} <Stats {collection} />
diff --git a/frontend/src/organisms/connection/collection/shell.svelte b/frontend/src/organisms/connection/collection/shell.svelte
index ea6ab32..b611e70 100644
--- a/frontend/src/organisms/connection/collection/shell.svelte
+++ b/frontend/src/organisms/connection/collection/shell.svelte
@@ -30,25 +30,25 @@
 </script>
 
 <div class="shell">
-  <div class="panels">
+  <div class="overflow">
     <!-- svelte-ignore a11y-label-has-associated-control -->
     <label class="field">
       <CodeEditor bind:text={script} {extensions} />
     </label>
+  </div>
 
-    <div class="output">
-      {#if busy}
-        <BlankState icon="loading" label="Executing…" />
-      {:else if result.errorTitle || result.errorDescription}
-        <BlankState title={result.errorTitle} label={result.errorDescription} icon="!">
-          <button class="button-small" on:click={copyErrorDescription}>
-            <Icon name={copySucceeded ? 'check' : 'clipboard'} /> Copy error message
-          </button>
-        </BlankState>
-      {:else}
-        <pre>{result.output || ''}</pre>
-      {/if}
-    </div>
+  <div class="output">
+    {#if busy}
+      <BlankState icon="loading" label="Executing…" />
+    {:else if result.errorTitle || result.errorDescription}
+      <BlankState title={result.errorTitle} label={result.errorDescription} icon="!">
+        <button class="button-small" on:click={copyErrorDescription}>
+          <Icon name={copySucceeded ? 'check' : 'clipboard'} /> Copy error message
+        </button>
+      </BlankState>
+    {:else}
+      <pre>{result.output || ''}</pre>
+    {/if}
   </div>
 
   <div class="controls">
@@ -69,18 +69,16 @@
 <style>
   .shell {
     display: grid;
-    grid-template: 1fr auto / 1fr;
+    grid-template: 1fr auto / 1fr 1fr;
   }
 
-  .panels {
-    display: flex;
+  .overflow {
+    overflow: auto;
+  }
+
+  .field {
     height: 100%;
   }
-  .panels > * {
-    flex: 1 1 0;
-    width: 100%;
-  }
-
   .field :global(.editor) {
     border-radius: 0;
   }
@@ -97,6 +95,9 @@
   .output pre {
     font-family: monospace;
     padding: 0.5rem;
+    user-select: text;
+    -webkit-user-select: text;
+    cursor: text;
   }
   .output :global(.blankstate) {
     margin: auto;
@@ -107,6 +108,7 @@
     margin-top: 0.5rem;
     display: flex;
     align-items: center;
+    grid-column: 1 / 3;
   }
   .controls .status {
     margin-right: auto;