fix: theme setting miss after refreshing

2025-05-15 11:53:10 +08:00
parent 2e56e93d83
commit 5e8692eae5
8 changed files with 49 additions and 28 deletions
@@ -88,7 +88,8 @@ const options = [
  },
  {
    label: '--dtype',
-    value: '--dtype'
+    value: '--dtype',
+    options: ['auto', 'half', 'float16', 'bfloat16', 'float', 'float32']
  },
  {
    label: '--rope-scaling',