From 4a1697d63351b9990efff5804b95d92ac2fc9783 Mon Sep 17 00:00:00 2001
From: Fabio Di Stasio <fabio286@gmail.com>
Date: Wed, 5 Jun 2024 18:34:43 +0200
Subject: [PATCH] fix: issue switching table after using a filter, fixes#691

---
 src/renderer/components/WorkspaceTabTable.vue | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)

diff --git a/src/renderer/components/WorkspaceTabTable.vue b/src/renderer/components/WorkspaceTabTable.vue
index 72804d70..5da75611 100644
--- a/src/renderer/components/WorkspaceTabTable.vue
+++ b/src/renderer/components/WorkspaceTabTable.vue
@@ -441,6 +441,25 @@ const resizeScroller = () => {
 const updateFilters = (clausoles: TableFilterClausole[]) => {
    filters.value = clausoles;
    results.value = [];
+
+   const permanentTabs = {
+      table: 'data',
+      view: 'data',
+      trigger: 'trigger-props',
+      triggerFunction: 'trigger-function-props',
+      function: 'function-props',
+      routine: 'routine-props',
+      procedure: 'routine-props',
+      scheduler: 'scheduler-props'
+   } as Record<string, string>;
+
+   newTab({
+      uid: props.connection.uid,
+      schema: props.schema,
+      elementName: props.table,
+      type: permanentTabs[props.elementType],
+      elementType: props.elementType
+   });
    getTableData();
 };