From 8cae8fbd54d64a8924fdc52ccc0bf4d16f4bfcd7 Mon Sep 17 00:00:00 2001
From: Gauthier Roebroeck <gauthier.roebroeck@gmail.com>
Date: Wed, 21 May 2025 17:12:12 +0800
Subject: [PATCH] typescript build errors

---
 next-ui/src/pages/server/users.vue | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/next-ui/src/pages/server/users.vue b/next-ui/src/pages/server/users.vue
index 0e5c4e2c6..5238e219e 100644
--- a/next-ui/src/pages/server/users.vue
+++ b/next-ui/src/pages/server/users.vue
@@ -12,7 +12,7 @@
       :loading="isLoading"
       :items="users"
       :headers="headers"
-      :hide-default-footer="users?.length < 11"
+      :hide-default-footer="hideFooter"
     >
       <template #[`item.roles`]="{ value }">
         <div class="d-flex ga-1">
@@ -68,12 +68,14 @@ import {UserRoles} from '@/types/UserRoles.ts'
 const {data: users, error, isLoading} = useUsers()
 const {data: me} = useCurrentUser()
 
+const hideFooter = computed(() => users.value && users.value.length < 11)
+
 const headers = [
   {title: 'Email', key: 'email'},
   {title: 'Latest Activity', key: 'activity', value: (item: components["schemas"]["UserDto"]) => latestActivity[item.id]},
   {title: 'Roles', value: 'roles', sortable: false},
   {title: 'Actions', key: 'actions', align: 'end', sortable: false},
-]
+] as const // workaround for https://github.com/vuetifyjs/vuetify/issues/18901
 
 function getRoleColor(role: UserRoles) {
   if(role === UserRoles.ADMIN) return 'error'