Redesign log page and pull logs in chunks (#10809)

* Redesign log page to have formatting

* Support other log types as well

* fix border

* Support log data format

* Only load necessary logs

* Load incrementally

* Cleanup

* Cleanup

* Render all items

* avoid flashing scroll to bottom

* Fix not listening at first

* Always ensure logLine is defined

* Group logs based on timestamp

* Formatting

* remove scrollbar

* Don't repull when there are no items to pull

* Add newline to end

* Fix log lines missing

* typo
This commit is contained in:
Nicolas Mowen
2024-04-03 10:55:13 -06:00
committed by GitHub
parent 476a900708
commit 59335c0628
4 changed files with 428 additions and 45 deletions

13
web/src/types/log.ts Normal file
View File

@@ -0,0 +1,13 @@
export type LogData = {
totalLines: number;
lines: string[];
};
export type LogSeverity = "info" | "warning" | "error" | "debug";
export type LogLine = {
dateStamp: string;
severity: LogSeverity;
section: string;
content: string;
};