feat(eda): filter by column

package.json

@@ -18,7 +18,7 @@
         "docs:api": "shx rm -rf dist docs/api && safe-ds document packages/safe-ds-lang/src/resources/builtins -o docs/api"
     },
     "devDependencies": {
-        "@lars-reimann/eslint-config-svelte": "^7.3.0",
+        "@lars-reimann/eslint-config-svelte": "^7.4.0",
         "@lars-reimann/prettier-config-svelte": "^5.2.1",
         "@semantic-release/changelog": "^6.0.3",
         "@semantic-release/exec": "^6.0.3",

packages/safe-ds-eda/src/App.svelte

@@ -2,7 +2,7 @@
     import TableView from './components/TableView.svelte';
     import Sidebar from './components/Sidebar.svelte';
     import { throttle } from 'lodash';
-    import { currentTabIndex, tableKey, tabs } from './webviewState';
+    import { currentTabIndex, tabKey, tableKey, tabs } from './webviewState';
     import TabContent from './components/tabs/TabContent.svelte';
 
     let sidebarWidth = 307; // Initial width of the sidebar in pixels
@@ -49,7 +49,7 @@
                 <TableView {sidebarWidth} />
             {/key}
         </div>
-        {#key $tableKey}
+        {#key $tabKey}
             {#if $tabs.length > 0}
                 {#each $tabs as tab, index}
                     <div class:hide={index !== $currentTabIndex}>

packages/safe-ds-eda/src/apis/extensionApi.ts

@@ -1,8 +1,8 @@
 import { get } from 'svelte/store';
 import type { HistoryEntry } from '../../types/state';
-import { table } from '../webviewState';
+import { profilingLoading, table, history } from '../webviewState';
 import type { ExecuteRunnerAllEntry } from '../../types/messaging';
-import { filterHistoryOnlyInternal } from './historyApi';
+import { filterHistoryOnlyInternal } from '../filterHistory';
 
 export const createInfoToast = function (message: string) {
     window.injVscode.postMessage({ command: 'setInfo', value: message });
@@ -102,3 +102,15 @@ export const executeRunner = function (state: HistoryEntry[], entry: HistoryEntr
         executeRunnerDefault(state, entry);
     }
 };
+
+export const refreshProfiling = function (historyId: number) {
+    profilingLoading.set(true);
+
+    window.injVscode.postMessage({
+        command: 'refreshProfiling',
+        value: {
+            historyEntries: get(history).slice(0, historyId + 1),
+            historyId,
+        },
+    });
+};