fix scrolling issues

spacetimedb/src/index.ts

@@ -1,4 +1,4 @@
-import { schema, t, table, SenderError, type ReducerCtx } from "spacetimedb/server";
+import { schema, t, table, SenderError } from "spacetimedb/server";
 
 const channel_kind = t.enum("ChannelKind", { Text: t.unit(), Voice: t.unit() });
 
@@ -589,7 +589,7 @@ export const delete_server = spacetimedb.reducer(
   (ctx, { serverId }) => {
     const s = ctx.db.server.id.find(serverId);
     if (!s) throw new SenderError("Server not found");
-    
+
     /* owner check temporarily disabled */
     /* if (s.owner?.toHexString() !== ctx.sender.toHexString()) {
       throw new SenderError("Only the server owner can delete the server");