web: Use 'x as y' instead of '<y>x'

This commit is contained in:
Nathan Adams 2023-11-21 19:01:23 +01:00
parent 549f017794
commit 1b39bdcd0b
1 changed files with 15 additions and 11 deletions

View File

@ -30,15 +30,17 @@ let player: RufflePlayer | null;
const playerContainer = document.getElementById("player-container")!; const playerContainer = document.getElementById("player-container")!;
const overlay = document.getElementById("overlay")!; const overlay = document.getElementById("overlay")!;
const authorContainer = document.getElementById("author-container")!; const authorContainer = document.getElementById("author-container")!;
const author = <HTMLLinkElement>document.getElementById("author"); const author = document.getElementById("author") as HTMLLinkElement;
const webUrlInputContainer = document.getElementById("web-url-container")!; const webUrlInputContainer = document.getElementById("web-url-container")!;
const sampleFileInputContainer = document.getElementById( const sampleFileInputContainer = document.getElementById(
"sample-swfs-container", "sample-swfs-container",
)!; )!;
const localFileInput = <HTMLInputElement>document.getElementById("local-file"); const localFileInput = document.getElementById(
const sampleFileInput = <HTMLSelectElement>( "local-file",
document.getElementById("sample-swfs") ) as HTMLInputElement;
); const sampleFileInput = document.getElementById(
"sample-swfs",
) as HTMLSelectElement;
const localFileName = document.getElementById("local-file-name")!; const localFileName = document.getElementById("local-file-name")!;
const toggleInfo = document.getElementById("toggle-info")!; const toggleInfo = document.getElementById("toggle-info")!;
const reloadSwf = document.getElementById("reload-swf")!; const reloadSwf = document.getElementById("reload-swf")!;
@ -198,9 +200,11 @@ async function loadFile(file: File | undefined) {
} }
function loadSample() { function loadSample() {
const swfData = (<HTMLOptionElementWithSwf>( const swfData = (
sampleFileInput[sampleFileInput.selectedIndex] sampleFileInput[
)).swfData; sampleFileInput.selectedIndex
] as HTMLOptionElementWithSwf
).swfData;
localFileName.textContent = "No file selected."; localFileName.textContent = "No file selected.";
if (swfData) { if (swfData) {
showSample(swfData); showSample(swfData);
@ -303,9 +307,9 @@ window.addEventListener("load", () => {
if (response.ok) { if (response.ok) {
const data: { swfs: [DemoSwf] } = await response.json(); const data: { swfs: [DemoSwf] } = await response.json();
for (const swfData of data.swfs) { for (const swfData of data.swfs) {
const option = <HTMLOptionElementWithSwf>( const option = document.createElement(
document.createElement("option") "option",
); ) as HTMLOptionElementWithSwf;
option.textContent = swfData.title ?? "Unknown"; option.textContent = swfData.title ?? "Unknown";
option.value = swfData.location; option.value = swfData.location;
option.swfData = swfData; option.swfData = swfData;