From f36c934d379c245fe5fdfaec429cd6e32b7cc600 Mon Sep 17 00:00:00 2001
From: Chenlei Hu <chenlei.hu@mail.utoronto.ca>
Date: Sun, 25 Aug 2024 15:45:05 -0400
Subject: [PATCH] Hide hidden settings (#630)

* Hide hidden settings

* nit
---
 src/stores/settingStore.ts | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/src/stores/settingStore.ts b/src/stores/settingStore.ts
index b4d9bbb3..e8200e99 100644
--- a/src/stores/settingStore.ts
+++ b/src/stores/settingStore.ts
@@ -31,9 +31,12 @@ export const useSettingStore = defineStore('setting', {
     settings: {}
   }),
   getters: {
+    // Setting tree structure used for the settings dialog display.
     settingTree(): SettingTreeNode {
       const root = buildTree(
-        Object.values(this.settings),
+        Object.values(this.settings).filter(
+          (setting: SettingParams) => setting.type !== 'hidden'
+        ),
         (setting: SettingParams) => setting.category || setting.id.split('.')
       )