update

src/oj/problem/components/ProblemListTitle.vue

@@ -1,5 +1,5 @@
 <script lang="ts" setup>
-import { ProblemFiltered } from "utils/types"
+import type { ProblemFiltered } from "utils/types"
 import { Icon } from "@iconify/vue"
 
 defineProps<{
@@ -19,5 +19,10 @@ defineProps<{
       width="18"
       icon="vscode-icons:file-type-graphql"
     />
+    <Icon
+      v-if="problem.has_ast_rules"
+      width="18"
+      icon="vscode-icons:file-type-light-todo"
+    />
   </n-flex>
 </template>

src/oj/problem/list.vue

@@ -45,6 +45,7 @@ const sortOptions = [
   { label: "最多通过", value: "-accepted_number" },
   { label: "最少通过", value: "accepted_number" },
   { label: "画流程图", value: "flowchart" },
+  { label: "语法检查", value: "ast" },
 ]
 
 const router = useRouter()
@@ -240,6 +241,7 @@ function rowProps(row: ProblemFiltered) {
               style="width: 120px"
               v-model:value="query.sort"
               :options="sortOptions"
+              :dropdown-style="{ maxHeight: 'unset' }"
             />
           </n-form-item>
           <n-form-item>