refetch after batch delete

src/views/collection.tsx

···
         },
       });
     }
-    window.location.reload();
+    setBatchDelete(false);
+    setRecords([]);
+    setCursor(undefined);
+    refetch();
   };
 
   const handleSelectionClick = (e: MouseEvent, index: number) => {