From ba8daeac0dadae167cce9418ec3dd271afed9198 Mon Sep 17 00:00:00 2001 From: undefined Date: Tue, 16 Sep 2025 11:34:49 +0800 Subject: [PATCH] ui: add namespace to keywords --- packages/ui-default/pages/problem_main.page.tsx | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/packages/ui-default/pages/problem_main.page.tsx b/packages/ui-default/pages/problem_main.page.tsx index cd9017142..1c17cd45e 100644 --- a/packages/ui-default/pages/problem_main.page.tsx +++ b/packages/ui-default/pages/problem_main.page.tsx @@ -17,9 +17,9 @@ import { const list = []; const filterTags = {}; -const pinned: Record = { category: [], difficulty: [] }; -const selections = { category: {}, difficulty: {} }; -const selectedTags: Record = { category: [], difficulty: [] }; +const pinned: Record = { category: [], difficulty: [], namespace: [] }; +const selections = { category: {}, difficulty: {}, namespace: {} }; +const selectedTags: Record = { category: [], difficulty: [], namespace: [] }; let selectedPids: string[] = []; let clearSelectionHandler: (() => void) | null = null; @@ -35,7 +35,7 @@ function setDomSelected($dom, selected, icon?) { } const parserOptions = { - keywords: ['category', 'difficulty'], + keywords: ['category', 'difficulty', 'namespace'], offsets: true, alwaysArray: true, tokenize: true,