From 8bcd0e0ccc4aaf75a482555c69e45297a871caf8 Mon Sep 17 00:00:00 2001 From: core Date: Sun, 26 Nov 2023 22:51:21 -0500 Subject: [PATCH] make tsc happy while packet log is disabled --- starkingdoms-client/src/packet_ui.ts | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/starkingdoms-client/src/packet_ui.ts b/starkingdoms-client/src/packet_ui.ts index 2a62c375f7ef92cff4e59eacb9b9e848e30b62d4..321b6e1de638482343a45d6389ff5333e2a701c8 100644 --- a/starkingdoms-client/src/packet_ui.ts +++ b/starkingdoms-client/src/packet_ui.ts @@ -1,3 +1,4 @@ +// @ts-ignore import {Direction, Packet, type_direction} from "./protocol.ts"; import createDebug from "debug"; @@ -107,12 +108,16 @@ function generateTree(object: any, level: number): [indent: number, key: string, export let packets: Packet[] = []; export let selected_packet: number | null = null; +// @ts-ignore let last_packet: Date | null = null; +// @ts-ignore const log_body = document.getElementById("log_body")!; +// @ts-ignore const up_arrow = ` `; +// @ts-ignore const down_arrow = ` `;