From 79fb78dbae50431c93c878980379206ef202a467 Mon Sep 17 00:00:00 2001
From: undefined <i@undefined.moe>
Date: Sat, 24 Jun 2023 23:46:23 +0800
Subject: [PATCH] ui: fix language filter (#598)

---
 packages/ui-default/pages/record_main.page.ts | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/packages/ui-default/pages/record_main.page.ts b/packages/ui-default/pages/record_main.page.ts
index 73cc029c8..205d07f37 100644
--- a/packages/ui-default/pages/record_main.page.ts
+++ b/packages/ui-default/pages/record_main.page.ts
@@ -35,7 +35,8 @@ const page = new NamedPage('record_main', async () => {
   ProblemSelectAutoComplete.getOrConstruct($('[name="pid"]'), {
     clearDefaultValue: false,
   });
-  const availableLangs = getAvailableLangs(UiContext.domain.langs?.split(','));
+  const langs = UiContext.domain.langs?.split(',');
+  const availableLangs = getAvailableLangs(langs.length ? langs : undefined);
   Object.keys(availableLangs).map(
     (i) => ($('select[name="lang"]').append(tpl`<option value="${i}" key="${i}">${availableLangs[i].display}</option>`)));
   const lang = new URL(window.location.href).searchParams.get('lang');