ui: add primeicons

Author: zjp-CN

ui/app/components/Kani.vue

@@ -17,7 +17,14 @@ useHead({ title: "Verify Rust Std - Kani" });
   <div>len = {{ vec.length }}</div>
 
   <DataTable :value="vec" paginator :rows="5" :rowsPerPageOptions="[5, 10, 20, 50]" sortMode="multiple" removableSort
-    sortField="proof_kind" :sort-order="1" v-model:multi-sort-meta="multiSort" tableStyle="min-width: 50rem">
+    v-model:multi-sort-meta="multiSort" tableStyle="min-width: 50rem">
+    <template #header>
+      <div class="flex flex-wrap items-center justify-between gap-2">
+        <span class="text-xl font-bold">Products</span>
+        <Button icon="pi pi-refresh" rounded raised />
+      </div>
+    </template>
+
     <Column v-for="col of MergeKaniColumns" :key="col.key" :field="col.col.field" :header="col.col.header"
       :style="{ width: col.col.width }" :sortable="col.col.sortable"></Column>
   </DataTable>

ui/nuxt.config.ts

@@ -5,6 +5,7 @@ export default defineNuxtConfig({
   compatibilityDate: '2025-07-15',
   devtools: { enabled: true },
   ssr: false, // Client-side Only Rendering (SPA)
+  css: ["primeicons/primeicons.css"],
   typescript: { typeCheck: true },
   modules: ['@primevue/nuxt-module'],
   primevue: {

ui/package-lock.json

@@ -13,6 +13,7 @@
     "@primeuix/themes": "^1.2.3",
     "nuxt": "^4.0.1",
     "ofetch": "^1.4.1",
+    "primeicons": "^7.0.0",
     "primevue": "^4.3.7",
     "vue": "^3.5.18",
     "vue-router": "^4.5.1"