2023-01-03 11:12:34 +00:00
|
|
|
//All of these can ignore maybe-null errors, as the script runs at the bottom of the page.
|
|
|
|
//So DOM is guaranteed to exist.
|
|
|
|
export const realBody: HTMLElement = document.getElementById('real-body')!;
|
|
|
|
export const loadingIndicator: HTMLElement = document.getElementById('loading')!;
|
|
|
|
export const fatalError: HTMLElement = document.getElementById('fatal-error')!;
|
|
|
|
export const nonFatalError: HTMLElement = document.getElementById('display-backup-error')!;
|
|
|
|
export const chatDisplay: HTMLElement = document.getElementById('chat-display')!;
|
|
|
|
export const fileSelector: HTMLInputElement = document.getElementById('backup-file')! as HTMLInputElement;
|
2023-01-03 19:16:31 +00:00
|
|
|
export const savedBackups: HTMLSelectElement = document.getElementById('saved-backups')! as HTMLSelectElement;
|
|
|
|
export const viewNewButtons =
|
|
|
|
document.querySelectorAll('#unloaded-view-new-button, #loaded-view-new-button');
|
|
|
|
export const loadPreviousButtons =
|
|
|
|
document.querySelectorAll('#unloaded-load-previous-button, #loaded-load-previous-button');
|
|
|
|
export const previousBackupsList: HTMLDivElement = document.getElementById('previous-backups-list')! as HTMLDivElement;
|
|
|
|
export const noFileLoadedControls: HTMLDivElement = document.getElementById('no-file-loaded-controls')! as HTMLDivElement;
|
|
|
|
export const fileLoadedControls: HTMLDivElement = document.getElementById('file-loaded-controls')! as HTMLDivElement;
|
|
|
|
export const currentlyViewing: HTMLInputElement = document.getElementById('currently-viewing')! as HTMLInputElement;
|