support hiding and unhiding explorers

2026-05-17 08:14:25 +08:00 · 2026-01-07 23:39:07 +08:00
parent ab88b0bf44
commit 1c596c4a15
20 changed files with 102 additions and 13 deletions
@@ -1099,6 +1099,7 @@ export const useExplorersStore = defineStore('explorers', () => {
                    return;
                }

+                explorer.hidden = hidden;
                updateExplorerVisibilityInInsightsExplorerList({ explorer: explorer, hidden });

                resolve(data.result);