ensure editor is empty when last tab is closed

socketsupply · Mar 24, 2024 · 03ccc3e · 03ccc3e
1 parent 7b38aec
commit 03ccc3e
Show file tree

Hide file tree

Showing 3 changed files with 7 additions and 5 deletions.
diff --git a/src/components/editor.js b/src/components/editor.js
@@ -184,6 +184,9 @@ class EditorTabs extends Tonic {
             this.state.selectedTabId = previousSibling.id
             this.selectTab(previousSibling.id)
           }
+        } else {
+          // there are no more tabs. empty the editor
+          this.props.parent.editor.setValue('')
         }
       }
 

diff --git a/src/css/component-project.css b/src/css/component-project.css
@@ -96,11 +96,6 @@ app-project:not([dragging]) .item .handle:hover {
   cursor: pointer;
 }
 
-app-project .item .handle[data-selected="1"] .node-data .label {
-  color: var(--tonic-accent);
-  text-decoration: underline;
-}
-
 app-project .item .node-data .label[disabled] {
   color: var(--tonic-disabled);
 }

diff --git a/src/css/tonic-overrides.css b/src/css/tonic-overrides.css
@@ -105,6 +105,10 @@ tonic-toggle .tonic--toggle--wrapper {
   height: 24px !important;
 }
 
+tonic-button button {
+  border-radius: 4px !important;
+}
+
 tonic-button[type="icon"] tonic-icon {
   margin-top: 2px;
 }